I am a senior researcher at CTU/CIIRC and the head of the Automated Reasoning Group there. I am a principal investigator of the Czech Science Foundation project PowerATP and a tenure track holder in RICAIP. I am a member of ARG Prague group and one of the developers of the automated theorem prover Vampire.
Previously, I was a postdoc in the group of Laura Kovács at the Faculty of Informatics of Vienna University of Technology (TU Wien) and before that a Research Associate in First-Order Theorem Proving and Verification in the Formal Methods Group in the School of Computer Science at the University of Manchester.
I did my Ph.D. at the Max-Planck-Institut für Informatik and the Saarland University in Saarbrücken, Germany, and at the Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic.
Last updated: 13. 4. 2022