Foundations of Algorithmic Verification and
Theoretical Computer Science; in particular:

Decision, control, and synthesis problems for continuous and
discrete linear dynamical systems (using tools from number theory,
Diophantine geometry, algebraic geometry) -- see this short
research spiel

Automated verification of real-time, probabilistic, and infinite-state systems
(e.g. model-checking algorithms, synthesis problems, complexity)

Logic and applications to verification

Automated software analysis

Concurrency
PhD Students:
Mehran Hosseini, Toghrul Karimov
Postdocs:
Mahadi Ddamulira, Edon Kelmendi, George Kenison, Engel Lefaucheux, Filip Mazowiecki,
Eike Neumann, David Purser,
Markus Whiteland
Former Members