Home Projects Publications Activities Teaching Students

Prof. Dr. Martin Lange
Theoretical Computer Science / Formal Methods
Dept. of Electrical Engineering and Computer Science,
University of Kassel, Germany

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 uni MINUS kassel DOT de
(Incoming email is filtered for spam automatically. If you do not get a response to an email please call me.)
Tel. (office): +49 561 804 6261
Office hour: please make an appointment via email
Office: Wilhelmshöher Allee 73, 1317
Postal address: FG Formale Methoden und Verifikation
FB Elektrotechnik / Informatik
Universität Kassel
Wilhelmshöher Allee 73
D-34121 Kassel

Secretary (Mon-Thu, 9am - 1pm)
Name: Frau Tina Landefeld
Email: sekretariat ÄT db DOT informatik DOT uni MINUS kassel DOT de
Tel.: +49 561 804 6621
Office: Wilhelmshöher Allee 73, 1305

My Erdös number is at most 4, for example through Erdös - Shelah - Pnueli - Grumberg - Lange.
See my author profile on Google Scholar and my publications as listed on DBLP.