Andrei Voronkov's Homepage
I am Professor of Formal Methods at the University of Manchester.
I am also known as the designer and founder of the EasyChair conference management system , 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.
(September 2014) The number of users of EasyChair exceeded 1,200,000. (July 2014) Vampire is winning CASC yet again! Vampire
has won the world cup in theorem proving CASC
held at 7th International Joint Conference on Automated Reasoning (CADE
). This time Vampire was the winner in the main division of the
competition FOF (first-order formulas). All together Vampire
won 29 division titles in CASC since 1999: more than any other
theorem prover in the history of the competition. Vampire won
all the FOF divisions since 2002. In 2014 Vampire solved more problems
in the FOF division than all other systems together.