Scholar
Martin Suda
Google Scholar ID: O0zcIe0AAAAJ
Czech Technical University in Prague
Citations & Impact
Citations
1,228
H-index
17
i10-index
32
Publications
20
Co-authors
0
Contact
Publications
Cited
0
Resume (English only)
Academic Achievements
- Principal investigator of the Czech Science Foundation project MLTPA; Tenure track holder in RICAIP; Member of ARG Prague group; One of the developers of the automated theorem prover Vampire. Projects: MLTPA (2024–2026, ongoing), PowerATP (2020–2022, finished). Publications can be found on Google Scholar or DBLP.
Research Experience
- Postdoc in the group of Laura Kovács at the Faculty of Informatics, Vienna University of Technology (TU Wien); Research Associate in First-Order Theorem Proving and Verification in the Formal Methods Group, School of Computer Science, University of Manchester.
Education
- Ph.D. from Max-Planck-Institut für Informatik and Saarland University in Saarbrücken, Germany, and from Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic.
Background
- Research Interests: Automated theorem proving and machine learning, Linear temporal logic and symbolic reachability analysis, Hardware verification, Automated planning, Quantified Boolean Formulas. Currently a researcher at CTU/CIIRC and the head of the Automated Reasoning Group.
Miscellany
- 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. Email: martin.suda@cvut.cz
Co-authors