Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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/