Team

Please feel free to add or edit yourself here.

Current

• Andrei Voronkov 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 joined the Vampire team in 2009 and began a large collaborative effort in applying Vampire to program analysis.
• Martin Suda joined the Vampire team in 2014. He is currently a Senior Researcher at CIIRC, CTU, Prague. Previously, he worked with Laura's group in TU Wien and before with Andrei in Manchester.
• Johannes Schoisswohl 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.
• Petra Hozzová joined the Vampire team in 2019. She is currently a postdoctoral researcher at TU Wien, working on program synthesis and higher-order logic in Vampire. She has done her PhD on inductive reasoning and program synthesis in Vampire, supervised by Laura and co-supervised by Andrei.
• Márton Hajdu joined the Vampire team in 2020. He is currently a research software engineer at TU Wien, working on various parts of Vampire. He has done his PhD on first-order and inductive reasoning in Vampire, supervised by Laura and co-supervised by Andrei.
• Michael Rawson joined the team in Manchester from 2017, spent some time in Vienna and is now at the University of Southampton, UK.

Past

• Giles Reger joined the Vampire team in 2014 and worked as a Senior Lecturer in Manchester, leading the group there with Andrei.
• Ahmed Bhayat completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles, after which he held a postdoctoral position on the ScorCH project. His interests include induction in saturation, program verification, and higher-order reasoning.
• Jakob Rath joined the Vampire team in 2019. He has done a PhD at TU Wien, working on subsumption in Vampire, supervised by Laura.
• Alexandre Riazanov wrote the second incarnation of Vampire together with Andrei, starting 1998 - see History.
• Kryštof Hoder wrote the third incarnation of Vampire together with Andrei, starting 2008 - see History.
• Evgenii Kotelnikov joined the Vampire team in 2013. He completed his PhD studies at Chalmers in 2018, supervised by Laura and Andrei.
• Simon Robillard 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 was a Post-Doc between 2018 and 2020. He worked on theory instantiation for Vampire.
• Bernhard Gleiss 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.