Andrei Voronkov Academic
Andrei Voronkov is a 65 years old academic from Sweden from . He was born on May 14, 1959 in as Andrei Aleksandrovič Voronkov.
About
His real name:
Birth name of Andrei Voronkov is Andrei Aleksandrovič Voronkov
Birth name of Andrei Voronkov is Andrei Aleksandrovič Voronkov
Yes, Andrei Voronkov is still alive Last check: 3 years ago
Awards (1)
Awarded Herbrand Award in 2015 .
Education
He graduated from Novosibirsk State University
What is Andrei's zodiac sign?Andrei Voronkov zodiac sign is taurus.
When is Voronkov's next birthday?
Andrei Voronkov was born on the , which was a Thursday. He will be turning 66 in only 143 days from today (22 December, 2024).
Other facts about Andrei Voronkov
AlmaMater | Novosibirsk State University |
---|---|
Award | CADE ATP System Competition |
Birth name | Andrei Aleksandrovič Voronkov |
KnownFor | Vampire (theorem prover), EasyChair |
Field of work | Automated Reasoning |
Official website | Andrei Voronkov official website |
Given name | Andrei |
Employer | University Of Manchester |
Notable work | EasyChair |
Family name | Voronkov. Show people with the surname Voronkov |
Country of citizenship | Sweden |
Academic degree | Doctor Of Philosophy |
Name in native language | Андрей Александрович Воронков |
ResearcherID | K-1788-2013 |
Andrei Voronkov Is A Member Of
Comments
There are no comments yet.