Research areas
automata theory, logic, games, verification and synthesis, distributed systems, foundations of data bases.
Publications
For a more up-to-date list of publications please see DBLP
Professional activities
- Editorial board of TheoretiCS
- Editorial board of Logical Methods in Computer Science
- Editorial board of LIPIcs (Leibniz International Proceedings in Informatics)
- Member of the Council of the European Association for Theoretical Computer Science (EATCS)
- Member of the Comité national de la recherche scientifique (section 06)
- Past activities