Siddhesh Joshi

Andrei Voronkov

Updated on
Share on FacebookTweet on TwitterShare on LinkedIn
Fields  Formal methods

Name  Andrei Voronkov
Andrei Voronkov voronkovcomimagesspainjpg
Institutions  University of Manchester Novosibirsk State University
Alma mater  Novosibirsk State University
Thesis  Realizability and Program Synthesis (1987)
Doctoral students  Dmitri Chubarov Shasha Feng Krystof Hoder Mohammed Khazal Jaber Konstantin Korovin Iman Narasamdya Juan Antonio Navarro Perez Alexandre Riazanov Andrei Tchaltsev Lars Thalmann Nestan Tsiskaridze Margus Veanes
Known for  Vampire theorem prover EasyChair
Education  Novosibirsk State University

Andrei Aleksandrovič Voronkov (born 1959) is a Professor of Formal methods in the School of Computer Science at the University of Manchester.



Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.


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 Research Council (EPSRC).

Awards and honours

In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award. He was won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.


Andrei Voronkov Wikipedia

Similar Topics
They Came from Beyond Space
Marlon Acácio
Steve Radford