Age, Biography and Wiki

Andrei Voronkov (Andrei Anatolievič Voronkov) was born on 14 May, 1959, is an An academics of the University of Manchester. Discover Andrei Voronkov's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 64 years old?

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

We recommend you to check the complete list of Famous People born on 14 May. He is a member of famous with the age 64 years old group.

Andrei Voronkov Height, Weight & Measurements

At 64 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.

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

Andrei Voronkov Net Worth

His net worth has been growing significantly in 2023-2024. So, how much is Andrei Voronkov worth at the age of 64 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 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 Under Review
House Not Available
Cars Not Available
Source of Income

Andrei Voronkov Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia Andrei Voronkov Wikipedia
Imdb

Timeline

1959

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

1987

Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.

1999

He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.

Voronkov is married and has three children.

A son and two daughters.

He lives in Bramhall with his family.

2001

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).

2015

In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award.