Martin Suda

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 MLTPA 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

• Automated theorem proving and machine learning
• Linear temporal logic and symbolic reachability analysis
• Hardware verification
• Automated planning
• Quantified Boolean Formulas

Publications

Contact Information