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.
Prof. Dr. habil. Martin Leucker
Dipl.-Math. Univ.
E-mail : leucker@informatik.tu-muenchen.de
Address :
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
Recent Research Activities (more )
