Vampire Team

This page describes the current and past team working on Vampire. For a description of the history prior to 2014, see the History page.

Current Team

• Andrei Voronkov

  

  Andrei Voronkov (Univeristy of Manchester, TU Wien, EasyChair) is the original developer of Vampire, beginning work in 1990 (see History). He was awarded the Herbrand Award in 2015 for numerous theoretical and practical contributions to automated deduction, and the development of the award-winning Vampire theorem prover. He is also founder of the EasyChair conference management system and LPAR conference series.

• Laura Kovács

  

  Laura Kovács (TU Wien) joined the Vampire team in 2009 and began a large collaborative effort in applying Vampire to program analysis.

• Giles Reger

  

  Giles Reger (University of Manchester) joined the Vampire team in 2014. He is currently a Senior Lecturer in Manchester and leads the group there with Andrei.

• Martin Suda

  

  Martin Suda (CTU/CIIRC, Prague) joined the Vampire team in 2014. He is currently a PostDoc at Josef Urban's group in Prague. Previously, he worked with Laura's group in TU Wien and before with Andrei in Manchester.

• Michael Rawson

  

  Michael Rawson (TU Wien) joined the team in Manchester from 2017. He is interested in machine learning applied to automated reasoning, but can be distracted by many other topics. From 2021 he has a postdoctoral position with Laura's group in Vienna.

• Johannes Schoisswohl

  

  Johannes Schoisswohl (University of Manchester, TU Wien) is working on theory reasoning in Vampire since March 2020. Started as a research assistant in Manchester in 2020, in co-supervision by Giles, and Andrei in Manchester. PhD student in Vienna since November 2022, being supervised by Laura, still working closely with Giles, and Andrei.

• Jakob Rath

  

  Jakob Rath (TU Wien) joined the Vampire team in 2019. He is currently a PhD student at TU Wien, and is supervised by Laura.

• Petra Hozzova

  

  Petra Hozzová (TU Wien) joined the Vampire team in 2019. She is currently a PhD student at TU Wien, working on inductive reasoning in Vampire. She is supervised by Laura and co-supervised by Andrei.

• Márton Hajdu

  

  Márton Hajdu (TU Wien) joined the Vampire team in 2020. He is currently a PhD student at TU Wien supervised by Laura, working on inductive reasoning in Vampire.

Past Team

• Evgenii Kotelnikov

  

  Evgenii Kotelnikov (Chalmers University of Technology) joined the Vampire team in 2013. He completed his PhD studies at Chalmers in 2018, supervised by Laura and Andrei.

• Simon Robillard

  

  Simon Robillard (Chalmers University of Technology) completed his PhD at Chalmers and was a member of the Vampire team between 2014 and 2020. He worked under the supervision of Laura.

• Martin Riener

  

  Martin Riener (University of Manchester) was a Post-Doc between 2018 and 2020. He worked on theory instantiation for Vampire.

• Bernhard Gleiss

  

  Bernhard Gleiss (TU Wien) was a member of the Vampire team between 2016 and 2020. During his PhD, which was supervised by Laura, he worked on superposition-based software verification, reasoning with quantification and theories in Vampire, and industrial usability of Vampire.

• Ahmed Bhayat

  

  Ahmed Bhayat (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He subsequently held a postdoctoral position on the SCorCH project. His interests include induction in saturation, program verification, and higher-order reasoning.