Prof. Dr. Martin Lange
Fachgebietsleiter
- Telefon
- +49 561 804-6261
- Fax
- +49 561 804-6627
- martin.lange[at]uni-kassel[dot]de
- Standort
- Wilhelmshöher Allee 73
34121 Kassel
- Raum
- WA-altes Gebäude (WA 73), 1307
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.
Didactics in computer science, in particular tool-supported learning.
See my author profile on Google Scholar and my publications as listed on DBLP.