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.
 |
 |
|
|
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)
|
|
|
|
|
