I am a postdoctoral researcher at CTU/CIIRC working in Josef Urban's group on the ERC Consolidator grant AI4REASON. 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: 6. 9. 2018