Andrei Anatolievič Voronkov (born 1959) is a

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

Formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expe ...

in the Department of Computer Science at the University of Manchester.

Education

Voronkov was educated at

Novosibirsk State University Novosibirsk State University is a public research university located in Novosibirsk, Russia. The university was founded in 1958, on the principles of integration of education and science, early involvement of students with research activities an ...

, graduating with a

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * '' Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. al ...

in 1987.

Research

Voronkov is known for the Vampire

automated theorem prover Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...

, the EasyChair conference management software, the

Handbook of Automated Reasoning The ''Handbook of Automated Reasoning'' (, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes method ...

(with

John Alan Robinson John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. Alan Robinson's major contribution is to the foundations of automated theorem ...

, 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 In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer prog ...

were recognized with the

Herbrand Award The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important con ...

. He has won 25 division titles in the

CADE ATP System Competition The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning orga ...

(CASC) at the Conference on Automated Deduction (CADE) since 1999.

Personal life

Voronkov is married and has three children. A son and two daughters. He lives in

Bramhall Bramhall is a suburban area in the Metropolitan Borough of Stockport, Greater Manchester, England. Historically in Cheshire, it had a population of 17,436 at the 2011 Census.Bramhall South and Bramhall North Wards History The Anglo-Saxon man ...

with his family.

References

{{DEFAULTSORT:Voronkov, Andrei Academics of the University of Manchester People associated with the Department of Computer Science, University of Manchester Living people 1959 births Academic staff of Novosibirsk State University Novosibirsk State University alumni