Martin Suda

Martin Suda's photo

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.

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: 13. 4. 2022