Andrei Voronkov

Andrei Voronkov
Андрей Анатольевич Воронков
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Born
Andrei Anatolievič Voronkov

(1959-05-14) May 14, 1959 (age 65)[2][3]
Alma materNovosibirsk State University[1]
Known for
Awards
Scientific career
FieldsFormal methods
Institutions
Thesis Realizability and Program Synthesis  (1987)
Website

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

  1. ^ a b 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.
  2. ^ a b Andrei Voronkov at Library of Congress
  3. ^ a b Anon (2016). "Andrei VORONKOV Date of birth May 1959". companieshouse.gov.uk. London: Companies House. Archived from the original on 2016-08-09.
  4. ^ Voronkov, A. (1995). "The anatomy of vampire". Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007/BF00881918. S2CID 1541122.
  5. ^ "Prof Andrei Voronkov, research profile - personal details (The University of Manchester)". Retrieved 2012-06-08.
  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. ^ 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.