Fields Formal methods | Name Andrei Voronkov | |
Institutions University of Manchester
Novosibirsk State University Alma mater Novosibirsk State University Thesis Realizability and Program Synthesis (1987) Doctoral students Dmitri Chubarov
Shasha Feng
Krystof Hoder
Mohammed Khazal Jaber
Konstantin Korovin
Iman Narasamdya
Juan Antonio Navarro Perez
Alexandre Riazanov
Andrei Tchaltsev
Lars Thalmann
Nestan Tsiskaridze
Margus Veanes Known for Vampire theorem prover
EasyChair Education Novosibirsk State University |
Andrei Voronkov (scientist) | Wikipedia audio article
Andrei Aleksandrovič Voronkov (born 1959) is a Professor of Formal methods in the School of Computer Science at the University of Manchester.
Contents
Education
Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.
Research
Voronkov is known for the Vampire automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001), and as organiser of the Alan Turing Centenary Conference 2012.
Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).
Awards and honours
In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award. He was won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.