Andrei Voronkov's Homepage

I am Professor of Formal Methods at the University of Manchester and Visiting Professor at Vienna University of Technology. And, of course, I work for EasyChair.

I am also known as the designer and founder of EasyChair, the main designer of the theorem prover Vampire, and the founder of the LPAR conference series.

In addition, I published over 100 papers in various areas of computer science and logic.


(July 2021) Vampire won the World Cup in Automated Theorem Proving CASC held at the 28th International Conference on Automated Deduction (CADE-28).
This time Vampire has been the winner of three out of six divisions, including the main division of the competition FOF (first-order formulas). All together Vampire has won 56 division titles in CASC since 1999: more than any other theorem prover in the history of the competition. Vampire has won all the FOF divisions since 2002.
(July 2021) My paper with Krystof Hoder Sine Qua Non for Large Theory Reasoning received Skolem Award.
(January 2020) The number of users of EasyChair exceeded 3,000,000.
(August 2015) I received the Herbrand Award for Distinguished Contributions to Automated Reasoning.
(June 2012) Nine Turing Award Winners, Garry Kasparov and other outstanding scientists spoke at the Turing Centenary Conference organized by me.