Education
Voronkov was educated at Novosibirsk State University, graduating with a Doctor of Philosophy in 1987.
- Photos
- Works
- Photos
- Works
Andrei Voronkov
Edit Profileuniversity professor computer scientist
Career
Voronkov is known for the Vampire automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001), and as organiser of the Alan Turing Centenary Conference 2012. Voronkov"s research has been funded by the Engineering and Physical Sciences Council. In 2015, his contributions to the field of automated reasoning were recognised with the Herbrand Award.
-
Born
Awards
-
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Incorporated. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction.The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Incorporated. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction.