Andrei Voronkov

Andrei Voronkov
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Native name	Андрей Александрович Воронков
Born	Andrei Aleksandrovič Voronkov (1959-05-14) May 14, 1959 (age 58)
Fields	Formal methods
Institutions	University of Manchester Novosibirsk State University
Alma mater	Novosibirsk State University
Thesis	Realizability and Program Synthesis (1987)
Doctoral students	Dmitri Chubarov Shasha Feng Kryštof Hoder Mohammed Jaber Konstantin Korovin Iman Narasamdya Juan Pérez Alexandre Riazanov Andrei Tchaltsev Lars Thalmann Nestan Tsiskaridze Margus Veanes
Known for	Vampire theorem prover EasyChair
Notable awards	25 division titles in CASC since 1999 Herbrand Award (2015)
Website voronkov.com manchester.ac.uk/research/andrei.voronkov

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 Vampireautomated 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).

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.