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

[5][6][7] Voronkov was educated at Novosibirsk State University,[1] graduating with a PhD in 1987.

[8][9] 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.

[20][21] 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.