My mail system seems to be unreliable - or my spam filter too agressive. If you do not get a timely reply of your email, please do contact me again, perhaps by phone.


Priv.-Doz. Dr. habil. Martin Leucker
Dipl.-Math. Univ.







E-mail:
leucker@informatik.tu-muenchen.de

Address:
Martin Leucker
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany

Phone: +49 (89) 289-17 376
Fax: +49 (89) 289-17 307
Room: 00.11.065

Fields of interest

  • software engineering: correct and reliable systems
  • formal methods
  • theoretical computer science
  • verification, especially model checking, runtime verification, and testing
  • message sequence charts
  • model learning
  • energy informatics - open PhD and PostDoc positions (details in german or english)

Recent Research Activities (more)

Links

Publications

Projects & Tools

Teaching

My conference calender

Vertretungsprofessur in Stuttgart

Miscellaneous

CV