Research Interests

Formal methods: temporal logics, verification of infinite-state systems (Petri nets, Pushdown Systems, Process Rewrite Systems, Timed Systems, Abstractions of Counter Systems).
Theory: logic, formal languages, automata theory, games.