Andrei Voronkov

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Andrei Voronkov
Andrei Voronkov - Turing 100 - 2012 - Portrait.jpg
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Born Andrei A. Voronkov
1959 (age 64–65)[1]
Fields Formal methods
Institutions <templatestyles src="Plainlist/styles.css"/>
Alma mater Novosibirsk State University[2]
Thesis Realizability and Program Synthesis (1987)
Doctoral students <templatestyles src="Plainlist/styles.css"/>
Known for <templatestyles src="Plainlist/styles.css"/>
Notable awards 25 division titles in CASC since 1999
Website
www.voronkov.com
www.manchester.ac.uk/research/andrei.voronkov

Andrei A. Voronkov is a Professor of Formal methods in the School of Computer Science at the University of Manchester.[18][19][20]

Education

Voronkov was educated at Novosibirsk State University,[2] graduating with a PhD in 1987.[21][22]

Research

Voronkov is known for the Vampire[17] automated theorem prover, the EasyChair conference software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001),[23] and as organiser of the Alan Turing Centenary Conference 2012.[24][25][26][27][28]

Voronkov's research has been funded by the Engineering and Physical Sciences Research Council.[29]

In 2015, his contributions to the field of automated reasoning were recognised with the Herbrand Award.[30]

References

  1. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  2. ↑ 2.0 2.1 2.2 Lua error in package.lua at line 80: module 'strict' not found.
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  4. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  5. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  6. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  7. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  8. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  9. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  10. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  11. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  12. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  13. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  14. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  15. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  16. ↑ http://voronkov.com/students.cgi
  17. ↑ 17.0 17.1 Lua error in package.lua at line 80: module 'strict' not found.
  18. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  19. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  20. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  21. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  22. ↑ http://www.cs.man.ac.uk/~voronkov/all_publications.html Papers by Andrei Voronkov
  23. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  24. ↑ List of publications from Microsoft Academic Search
  25. ↑ http://scholar.google.com/scholar?q=andrei+voronkov Andrei Voronkov publications in Google Scholar
  26. ↑ Andrei Voronkov's publications indexed by the DBLP Bibliography Server at the University of Trier
  27. ↑ Andrei Voronkov's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  28. ↑ Andrei Voronkov from the Association for Computing Machinery (ACM) Digital Library
  29. ↑ http://gow.epsrc.ac.uk/NGBOViewPerson.aspx?PersonId=27394 Grants awarded to Andrei Voronkov by the Engineering and Physical Sciences Research Council
  30. ↑ Lua error in package.lua at line 80: module 'strict' not found.
Retrieved from "https://infogalactic.com/w/index.php?title=Andrei_Voronkov&oldid=5500285"