Andrei Voronkov's Homepage
I am Professor of Formal Methods at the University of Manchester and Professor at Chalmers 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.
News
(August 2015) Vampire is winning CASC yet again! Vampire has won the world cup in theorem proving CASC held at the 25th International Conference on Automated Deduction (CADE-25). This time Vampire was the winner of five out of eight divisions , including the main division of the
competition FOF (first-order formulas). All together Vampire won
35 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 four out of five divisions
Vampire solved more problems than all other systems together.
(June 2012) Nine Turing Award Winners, Garry Kasparov and other outstanding scientists
spoke at the Turing Centenary Conference organized by me.