Andrei Voronkov (computer scientist)
From Wikipedia, the free encyclopedia
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]
- 45 division titles in CASC since 1999
- Herbrand Award (2015)
Andrei Voronkov | |
|---|---|
Андрей Анатольевич Воронков | |
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012 | |
| Born | Andrei Anatolievič Voronkov May 14, 1959[1][2] |
| Alma mater | Novosibirsk State University[3] |
| Known for | |
| Awards |
|
| Scientific career | |
| Fields | Formal methods |
| Institutions | |
| Thesis | Realizability and Program Synthesis (1987) |
| Website | |
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]
Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).[19][20]
Awards and honours
In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award.[21] He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.[citation needed]
