Andrei Voronkov

Andrei Voronkov
Andrei Voronkov
Андрей Анатольевич Воронков
	Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Born	Andrei Anatolievič Voronkov; May 14, 1959
Alma mater	Novosibirsk State University
Known for	Vampire theorem prover; EasyChair;
Awards	45 division titles in CASC since 1999; Herbrand Award (2015);
	Scientific career
Fields	Formal methods
Institutions	University of Manchester; Novosibirsk State University;
Thesis	Realizability and Program Synthesis (1987)
Website	voronkov.com; manchester.ac.uk/research/andrei.voronkov;

Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.