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.
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
Instant download · yours to keep · every purchase keeps this site free
Important facts
People in Andrei Voronkov's life
Named in this biography and alive at the same time
Contemporaries
People whose lives overlapped Andrei Voronkov's
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
· 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