Age, Biography and Wiki

Andrei Voronkov (Andrei Anatolievič Voronkov) was born on 14 May, 1959.

Popular As Andrei Anatolievič Voronkov
Occupation N/A
Age 61 years old
Zodiac Sign Taurus
Born 14 May 1959
Birthday 14 May
Birthplace N/A

Andrei Voronkov Height, Weight & Measurements

At 61 years old, Andrei Voronkov height not available right now. We will update Andrei Voronkov’s Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Dating & Relationship status

He is currently single. He is not dating anyone. We don’t have much information about He’s past relationship and any previous engaged. According to our Database, He has no children.

Parents Not Available
Wife Not Available
Sibling Not Available
Children Not Available

Andrei Voronkov Net Worth

His net worth has been growing significantly in 2019-2020. So, how much is Andrei Voronkov worth at the age of 61 years old? Andrei Voronkov’s income source is mostly from being a successful . He is from . We have estimated Andrei Voronkov’s net worth, money, salary, income, and assets.

Net Worth in 2020 $1 Million – $5 Million
Salary in 2019 Under Review
Net Worth in 2019 Pending
Salary in 2019 Under Review
House Not Available
Cars Not Available
Source of Income

Andrei Voronkov Social Network

Wikipedia Andrei Voronkov Wikipedia



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.


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 was educated at Novosibirsk State University, graduating with a PhD in 1987.


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