He obtained his PhD in 1997, and then he spent almost two years at the Technical University Munich as an Alexander von Humboldt Fellow. His research interest are mainly in the area of decidability and complexity issues for infinite-state systems. In the year 1997 he was awarded the Talent'97 prize by the Czech ministry of education. He has (co)authored about thirty papers published in proceedings of recognized conferences and journals.