Jaroslav Bendík

Jaroslav Bendík

Post-doctoral researcher

MPI-SWS

Biography

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é.

Interests
  • Constraint Processing
  • SAT and SMT Solving
  • Formal Verification
Education
  • PhD in Constraint Processing, 2021

    Masaryk University

  • Msc in Constraint Processing, 2016

    Masaryk University

  • BSc in Applied Informatics, 2014

    Masaryk University