Scholar
Andrei Voronkov
Google Scholar ID: fT6jrC0AAAAJ
The University of Manchester; EasyChair
Citations & Impact
Citations
2,502
H-index
22
i10-index
47
Publications
20
Co-authors
59
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published over 100 papers; In July 2021, Vampire won three out of six divisions (including the main FOF division) at CASC, with a total of 56 division titles since 1999; In July 2021, his paper with Krystof Hoder, 'Sine Qua Non for Large Theory Reasoning', received the Skolem Award; In January 2020, the number of EasyChair users exceeded 3,000,000; In August 2015, he received the Herbrand Award for Distinguished Contributions to Automated Reasoning; In June 2012, nine Turing Award winners, Garry Kasparov, and other outstanding scientists spoke at the Turing Centenary Conference organized by him.
Research Experience
- Works in various areas of computer science and logic.
Background
- Professor of Formal Methods at the University of Manchester and Visiting Professor at Vienna University of Technology; known as the designer and founder of EasyChair, main designer of the theorem prover Vampire, and founder of the LPAR conference series.
