Andrei Voronkov

For other people called Andrei Voronkov, see Andrei Voronkov (disambiguation).
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.