I am a Post-doctoral researcher at the Max-Planck Institute for Software Systems in Rupak Majumdar’s group. I used to be a research fellow at the National University of Singapore, working with Kuldeep S. Meel and people from the MeelGroup. I received my Ph.D. at the Masaryk University in Czech Republic, supervised by Ivana Černá.

My research interests are at the intersection of formal methods and constraint processing. Especially, I focus on analyzing infeasible constraint systems such as unsatisfiable Boolean formulae or inconsistent sets of software requirements.

Download my resumé.