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.
Secretary (Mon, Wed-Fri afternoons; Tue mornings)
My Erdös number is at most 2, for example through Erdös - Shallit - Lange.
See my author profile on Google Scholar and my publications as listed on DBLP.