Home

Projects

Publications

Activities

Teaching

Students

PD Dr. Martin Lange LFE Theoretische Informatik, Institut für Informatik, Ludwig-Maximilians-Universität München, Germany News (Info related to teaching given in German) WoLLIC'10 in Brasilia AiML 2010 in Moscow Joint TU/LMU Munich PhD School Program and Model Analysis. Diplomarbeiten und Fortgeschrittenenpraktika zu vergeben: Model Checking für Hybride Logik (DA/Fopra) Ein Tool zum praktischen Lösen von Paritätsspielen (DA/Fopra) Eine termersetzungsbasierte Übersetzung von (semi-)erweiterten, regulären Ausdrücken in deterministische, endliche Automaten (DA/Fopra) Main research interests Logic in computer science, in particular modal and temporal logics with applications to automatic program verification, concurrency theory, program analysis, AI, computational linguistics, etc. Contact details Email: first name DOT last name ÄT ifi DOT lmu DOT de (Incoming email is filtered for spam automatically. If you do not get a response to an email please call me.) Tel.: +49 89 2180 9313 Office: Oettingenstr. 67, E107 (former D1.07) Postal address: LFE Theoretische Informatik Institut f. Informatik LMU München Oettingenstr. 67 D-80538 München Germany Consultation hour: (send an email to make an appointment) Facts My Erdös number is at most 4, for example through Erdös - Shelah - Pnueli - Grumberg - Lange. My H-index is at least 7, according to Google Scholar. My publications (possibly incomplete), as listed on DBLP and Google Scholar.