Andrei Voronkov

For other people called Andrei Voronkov, see Andrei Voronkov (disambiguation).

Andrei Anatolievič Voronkov (born 1959)^[1][2] is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.^[5][6][7]

Andrei Voronkov
Андрей Анатольевич Воронков
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Born	Andrei Anatolievič Voronkov (1959-05-14) May 14, 1959 (age 66)[1][2]
Alma mater	Novosibirsk State University[3]
Known for	Vampire theorem prover[4] EasyChair
Awards	45 division titles in CASC since 1999 Herbrand Award (2015)
Scientific career
Fields	Formal methods
Institutions	University of Manchester Novosibirsk State University[3]
Thesis	Realizability and Program Synthesis  (1987)
Website	voronkov.com manchester.ac.uk/research/andrei.voronkov

Education

Voronkov was educated at Novosibirsk State University,^[3] graduating with a PhD in 1987.^[8][9]

Research

Voronkov is known for the Vampire^[4][10] automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001),^{[11][12][13][14]} and as organiser of the Alan Turing Centenary Conference 2012.^{[15][16][17][18][19]}

Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).^[20][21]

Awards and honours

In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award.^[22] He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.^{[citation needed]}