Home

Projects

Publications

Activities

Teaching

Students

Priv.-Doz. Dr. Martin Lange LFE Theoretische Informatik, Department "Institut für Informatik", Ludwig-Maximilians-Universität München, Germany News (Info related to teaching given in German) 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) Antiketten-basierte Algorithmen für String-Probleme (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 verification, concurrency theory, program analysis, AI, 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, D1.07 Postal address: LFE Theoretische Informatik Institut f. Informatik LMU München Oettingenstr. 67 D-80538 München Germany Facts My Erdös number is at most 4, for example through Erdös - Shelah - Pnueli - Grumberg - Lange. My publications listed on DBLP.