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é.
PhD in Constraint Processing, 2021
Masaryk University
Msc in Constraint Processing, 2016
Masaryk University
BSc in Applied Informatics, 2014
Masaryk University