Research areas

automata theory, logic, games, verification and synthesis, distributed systems, foundations of data bases.

Publications

List of publications

For a more up-to-date list of publications please see DBLP

Professional activities

Teaching

Courses and materials (internal access)