Home Projects Publications Activities Teaching Students

Prof. Dr. Martin Lange
Formal Methods and Verification
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: 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
Germany
Consultation hour: (send an email to make an appointment)

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

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.