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]
Andrei Voronkov | |
---|---|
Андрей Анатольевич Воронков | |
Born | Andrei Anatolievič Voronkov May 14, 1959[2][3] |
Alma mater | Novosibirsk State University[1] |
Known for | |
Awards |
|
Scientific career | |
Fields | Formal methods |
Institutions | |
Thesis | Realizability and Program Synthesis (1987) |
Website |
|
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.[15][16][17][18][19]
Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).[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.[citation needed]
Voronkov is married and has three children. A son and two daughters. He lives in Bramhall with his family.