Andrei Voronkov | |
---|---|
Андрей Анатольевич Воронков | |
![]() Andrei Voronkov at the
Alan Turing Centenary Conference, June 24th, 2012 | |
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 |
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. [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]
Andrei Voronkov | |
---|---|
Андрей Анатольевич Воронков | |
![]() Andrei Voronkov at the
Alan Turing Centenary Conference, June 24th, 2012 | |
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 |
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. [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]