Andrei_Voronkov_(scientist)

Andrei Voronkov

Andrei Voronkov

Add article description

For other people called Andrei Voronkov, see Andrei Voronkov (disambiguation).

Andrei Anatolievič Voronkov (born 1959)[1][2] is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.[5][6][7]

Quick Facts Born, Alma mater ...

Education

Voronkov was educated at Novosibirsk State University,[3] graduating with a PhD in 1987.[8][9]

Research

Voronkov is known for the Vampire[4][10] automated theorem prover, the EasyChair conference management software, the Handbook of Automated Reasoning (with John Alan Robinson, 2001),[11][12][13][14] and as organiser of the Alan Turing Centenary Conference 2012.[15][16][17][18][19]

Voronkov's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).[20][21]

Awards and honours

In 2015, his contributions to the field of automated reasoning were recognized with the Herbrand Award.[22] He has won 25 division titles in the CADE ATP System Competition (CASC) at the Conference on Automated Deduction (CADE) since 1999.[citation needed]

Personal life

Voronkov is married and has three children. A son and two daughters. He lives in Bramhall with his family.

References

  1. [1]
    Andrei Voronkov at Library of Congress
  2. [2]
    Anon (2016). "Andrei VORONKOV Date of birth May 1959". companieshouse.gov.uk. London: Companies House. Archived from the original on 2016-08-09.
  3. [3]
    Voronkov, A. A. (1987). "Deductive program synthesis and Markov's principle". Fundamentals of Computation Theory. Lecture Notes in Computer Science. Vol. 278. pp. 479–482. doi:10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0.
  4. [4]
    Voronkov, A. (1995). "The anatomy of vampire". Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007/BF00881918. S2CID 1541122.
  5. [5]
    "Prof Andrei Voronkov, research profile - personal details (The University of Manchester)". Retrieved 2012-06-08.
  6. [6]
    Dantsin, E.; Eiter, T.; Gottlob, G.; Voronkov, A. (2001). "Complexity and expressive power of logic programming". ACM Computing Surveys. 33 (3): 374. doi:10.1145/502807.502810. S2CID 518049.
  7. [7]
    Constantin, A.; Pettifer, S.; Voronkov, A. (2013). "PDFX: fully-automated PDF-to-XML conversion of scientific literature". Proceedings of the 2013 ACM symposium on Document engineering - Doc Eng '13 (PDF). p. 177. doi:10.1145/2494266.2494271. ISBN 9781450317894. S2CID 17173414.
  8. [8]
    Voronkov, Andrei (1987). Realizability and Program Synthesis (PhD thesis). Novosibirsk State University.
  9. [9]
    Voronkov, Andrei (2016). "Papers by Andrei Voronkov". cs.man.ac.uk. University of Manchester. Archived from the original on 2016-03-04.
  10. [10]
    Kotelnikov, Evgenii; Kovács, Laura; Reger, Giles; Voronkov, Andrei (2016). "The vampire and the FOOL". Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016. pp. 37–48. arXiv:1510.04821. doi:10.1145/2854065.2854071. ISBN 9781450341271.
  11. [11]
    Robinson, John Alan; Voronkov, Andrei, eds. (2001). Handbook of Automated Reasoning. MIT Press + Elsevier. ISBN 9780444508133.
  12. [12]
    Sekar, R.; Ramakrishnan, I.V.; Voronkov, Andrei (2001). "Term Indexing". In Robinson, John Alan; Voronkov, Andrei (eds.). Handbook of Automated Reasoning. pp. 1853–1964. doi:10.1016/B978-044450813-3/50028-X. ISBN 9780444508133.
  13. [13]
    Degtyarev, Anatoli; Voronkov, Andrei (2001). "Equality Reasoning in Sequent-Based Calculi". In Robinson, John Alan; Voronkov, Andrei (eds.). Handbook of Automated Reasoning. pp. 611–706. doi:10.1016/B978-044450813-3/50012-6. hdl:11858/00-001M-0000-0014-7A79-8. ISBN 9780444508133.
  14. [14]
    Degtyarev, Anatoli; Voronkov, Andrei (2001). "The Inverse Method". In Robinson, John Alan; Voronkov, Andrei (eds.). Handbook of Automated Reasoning. pp. 179–272. doi:10.1016/B978-044450813-3/50006-0. ISBN 9780444508133.
  15. [15]
    Andrei Voronkov publications indexed by Microsoft Academic
  16. [16]
    Andrei Voronkov publications indexed by Google Scholar Edit this at Wikidata
  17. [17]
    Andrei Voronkov at DBLP Bibliography Server Edit this at Wikidata
  18. [18]
    Andrei Voronkov's publications indexed by the Scopus bibliographic database. (subscription required)
  19. [19]
    Andrei Voronkov author profile page at the ACM Digital Library Edit this at Wikidata
  20. [20]
    Anon (2015). "Grants awarded to Andrei Voronkov by the EPSRC". epsrc.ac.uk. Swindon: Engineering and Physical Sciences Research Council. Archived from the original on 2015-05-12.
  21. [21]
    Anon (2016). "UK Government grants awarded to Andrei Voronkov". rcuk.ac.uk. Swindon: Research Councils UK. Archived from the original on 2016-08-09.
  22. [22]
    "Herbrand Award". cadeinc.org. CADE inc.
Share this article:

This article uses material from the Wikipedia article Andrei_Voronkov_(scientist), and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.