Andrei Voronkov
Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of [Computer Science, University of Manchester|Department of Computer Science] at the University of Manchester.
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, and as organiser of the Alan Turing Centenary Conference 2012.Voronkov's research has been funded by the Engineering and [Physical Sciences Research Council|Engineering and Physical Sciences Research Council (EPSRC)].