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 235 days from today (21 September, 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.
