Martin Suda

I have now moved to Prague. Please find my current webpage here.

I am a postdoc (Projectassistent) in the group of Laura Kovács and one of the developers of the automated theorem prover Vampire.

Previously, I was 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, Manchester, UK.

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 reasoning
• Linear temporal logic and symbolic reachability analysis
• Hardware verification
• Automated planning
• Quantified Boolean Formulas

Publications:

See my profile on Google Scholar

A preprint version (including proofs) of our paper Local Soundness for QBF Calculi (SAT 2018) can be found here.

Address:
Martin Suda
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria