Martin Suda

Martin Suda's photo

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

I am 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.

Previously, I was a Ph.D. student 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


I am one of the developers of the automated theorem prover Vampire.

My past project include:


Contact Information

University of Manchester, Kilburn Building, Oxford Road
Room 2.46
Manchester, Greater Manchester, M13 9PL
United Kingdom


Last updated: 12. 4. 2016