I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
People

personal data
Prof. Dr. habil.
Martin Leucker
mail-address:
Prof. Dr. habil. Martin Leucker

Technische Universität München
Boltzmannstr. 3
85748 Garching bei München /
visitors:
Boltzmannstr. 3
85748 Garching bei München /
phone:
fax:
email:
www:
+49 (89) 289-17 376
+49 (89) 289-17 307
leucker@informatik.tu-muenchen.de
http://www4.informatik.tu-muenchen.de/~leucker/