Martin Suda

Martin Suda's photo

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.

Research interests


See my profile on Google Scholar or at DBLP.

Contact Information

Czech Institute of Informatics, Robotics, and Cybernetics
Room A-616a
Jugoslávských partyzánů 1580/3
160 00 Prague 6, Dejvice
Czech Republic


Last updated: 6. 9. 2018