Recognition

Awards

Career awards and best-paper prizes.

Career awards

CAV Award 2017
“For the development of general mathematical structures leading to general decidability results for the verification of infinite-state transition systems.”
LICS Test-of-Time Award 2016
“For showing the decidability of various verification problems for well-structured transition systems.”

Best Paper, ETAPS 2013 (EASST) 2013
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
Best Paper, ETAPS 2010 (EATCS) 2010
When Simulation Meets Antichains (on Checking Language Inclusion of NFAs).
Best Paper, CIAA 2008 2008
Composed Bisimulation for Tree Automata.
Best Paper, WMC 2008 2008
On the Qualitative Analysis of Conformon P Systems. 9th Workshop on Membrane Computing.
Distinguished Paper, TACAS 2007 (Microsoft) 2007
Regular Model Checking without Transducers.
Best Paper, CIAA 2006 2006
Minimization of Tree Automata.
Best Paper, ICALP 2001 (EATCS) 2001
Effective Lossy Queue Languages.
Best Paper, ETAPS 2000 (EAPLS) 2000
Symbolic Reachability Analysis Based on SAT-Solvers.