Biography.guide
Home › People › Computer scientist › Andrei Voronkov
Portrait of Andrei Voronkov

Andrei Voronkov

b. 1959

Professor of Computer Science

Computer scientist University teacher
Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About Andrei Voronkov

Born 1959. Andrei Voronkov is a Swedish computer scientist and university teacher.

influences = influenced = awards = signature =

website = Andrei Anatolievič Voronkov (born 1959)

Education Voronkov was educated at Novosibirsk State University,

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 has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Born
14 May 1959
Birth century
20th century
Occupation
Computer scientist, university teacher
Nationality
Sweden
Education
Novosibirsk State University
Employers
University of Manchester
Awards
Herbrand Award
Also known as
Andrei A. Voronkov, Andrei Aleksandrovič Voronkov

People in Andrei Voronkov's life

Named in this biography and alive at the same time

Portrait of John Alan Robinson
John Alan Robinson
1930 – 2016
Mathematician
 Portrait of John
John
1881 – 1963
Latin Catholic priest
 Portrait of Alan Robinson
Alan Robinson
1948 – 2013
Politician

Contemporaries

People whose lives overlapped Andrei Voronkov's

Portrait of David Blackwell
David Blackwell
1919 – 2010
Mathematician
 Portrait of Hermann Bondi
Hermann Bondi
1919 – 2005
Mathematician
 Portrait of Margaret Burbidge
Margaret Burbidge
1919 – 2020
Astronomer
 Portrait of Mikhail Kalashnikov
Mikhail Kalashnikov
1919 – 2013
Design engineer
 Portrait of François Jacob
François Jacob
1920 – 2013
Biochemist
 Portrait of George Porter
George Porter
1920 – 2002
Chemist

Frequently asked questions

Who is Andrei Voronkov?

Professor of Computer Science

When was Andrei Voronkov born?

Andrei Voronkov was born on 14 May 1959.

What is Andrei Voronkov's occupation?

Andrei Voronkov is a computer scientist and university teacher.

What nationality is Andrei Voronkov?

Andrei Voronkov is Swedish.

Sources & further reading

· Wikipedia: Andrei Voronkov

· Wikidata: Q502611

· DBpedia: Andrei Voronkov (computer scientist)

Cite this page

APA: Biography.guide. (2026). Andrei Voronkov. https://biography.guide/andrei-voronkov/

MLA: "Andrei Voronkov." Biography.guide, https://biography.guide/andrei-voronkov/.

Chicago: "Andrei Voronkov." Biography.guide. https://biography.guide/andrei-voronkov/.

Data last updated: 2026-09-20 · Spot an error? Report a correction.

Page generated 2026-09-27 05:28 UTC