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.
Secretary (Mon, Wed-Fri afternoons; Tue mornings)
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.