This page describes the current and past team working on Vampire. For a description of the history prior to 2014, see the History page.
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 (TU Wien) joined the Vampire team in 2009 and began a large collaborative effort in applying Vampire to program analysis.
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 (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 (University of Manchester) started a PhD in September 2017, applying techniques from machine learning to automated reasoning. As of autumn 2020 he has a postdoctoral position looking into parallelism in Vampire.
Ahmed Bhayat (University of Manchester) started a PhD in September 2017, working on implementing higher-order reasoning into Vampire. He is supervised by Giles.
Johannes Schoisswohl (University of Manchester, TU Wien) is working on theory reasoning in Vampire since March 2020, in co-supervision by Giles, and Andrei in Manchester. At the same time he is a master student of Laura at the TU Wien.
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 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.
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 (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 (University of Manchester) was a Post-Doc between 2018 and 2020. He worked on theory instantiation for Vampire.
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.