Andrei Voronkov
- January 9, 2024
- Computer Scientist
Quick Facts
Full Name | Andrei Voronkov |
Occupation | Computer Scientist |
Date Of Birth | May 14, 1959(1959-05-14) |
Age | 65 |
Country | Sweden |
Horoscope | Taurus |
Andrei Voronkov Biography
Name | Andrei Voronkov |
Birthday | May 14 |
Birth Year | 1959 |
Birth Country | Sweden |
Birth Sign | Taurus |
Andrei Voronkov is one of the most popular and richest Computer Scientist who was born on May 14, 1959 in Sweden.
Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.
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.
Andrei Voronkov Net Worth
Net Worth | $5 Million |
Source Of Income | Computer Scientist |
House | Living in own house. |
Andrei Voronkov is one of the richest Computer Scientist from Sweden. According to our analysis, Wikipedia, Forbes & Business Insider, Andrei Voronkov 's net worth $5 Million. (Last Update: December 11, 2023)
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Height, Weight & Body Measurements
Andrei Voronkov height Not available right now. Shinta weight Not Known & body measurements will update soon.
Who is Andrei Voronkov Dating?
According to our records, Andrei Voronkov is possibily single & has not been previously engaged. As of December 1, 2023, Andrei Voronkov’s is not dating anyone.
Relationships Record : We have no records of past relationships for Andrei Voronkov. You may help us to build the dating records for Andrei Voronkov!
Facts & Trivia
Shinta Ranked on the list of most popular Computer Scientist. Also ranked in the elit list of famous people born in Sweden. Andrei Voronkov celebrates birthday on May 14 of every year.