Andrej Voronkov - Andrei Voronkov

Pro ostatní lidi zvané Andrej Voronkov, viz Andrej Voronkov (disambiguation).
Andrej Voronkov
Андрей Анатольевич Воронков
Andrei Voronkov - Turing 100-2012 - Portrait.jpg
Andrej Voronkov na Alan Turing Centenary Conference, 24. června 2012
narozený
Andrei Anatolievič Voronkov

(1959-05-14) 14. května 1959 (věk 61)[1][2]
Alma materNovosibirská státní univerzita[3]
Známý jako
Ocenění
Vědecká kariéra
PoleFormální metody
Instituce
TezeRealizovatelnost a syntéza programu (1987)
webová stránka

Andrei Anatolievič Voronkov (narozen 1959)[1][2] je Profesor z Formální metody v Ústav výpočetní techniky na University of Manchester.[5][6][7]

Vzdělávání

Voronkov byl vzděláván v Novosibirská státní univerzita,[3] promovat s PhD v roce 1987.[8][9]

Výzkum

Voronkov je známý pro Upír[4][10] automatizovaný testovací teorém, EasyChair software pro správu konferencí, Příručka automatizovaného uvažování (s John Alan Robinson, 2001),[11][12][13][14] a jako organizátor Alan Turing Centenary Conference 2012.[15][16][17][18][19]

Voronkovův výzkum byl financován z Rada pro výzkum inženýrských a fyzikálních věd (EPSRC).[20][21]

Ocenění a vyznamenání

V roce 2015 byly jeho příspěvky do oblasti automatické uvažování byly uznány u Herbrand Award.[22] Získal 25 divizních titulů v Soutěž systému CADE ATP (CASC) na Konference o automatizovaném odpočtu (CADE) od roku 1999.[Citace je zapotřebí ]

Reference

  1. ^ A b Andrej Voronkov na Knihovna Kongresu Úřady
  2. ^ A b Anon (2016). „Andrej VORONKOV datum narození květen 1959“. companieshouse.gov.uk. Londýn: Obchodní dům. Archivováno z původního dne 2016-08-09.
  3. ^ A b C Voronkov, A. A. (1987). „Deduktivní syntéza programu a Markovův princip“. Základy teorie výpočtu. Přednášky z informatiky. 278. 479–482. doi:10.1007/3-540-18740-5_105. ISBN  978-3-540-18740-0.
  4. ^ A b Voronkov, A. (1995). „Anatomie upíra“. Journal of Automated Reasoning. 15 (2): 237–265. doi:10.1007 / BF00881918.
  5. ^ „Prof Andrei Voronkov, profil výzkumu - osobní údaje (University of Manchester)“. Citováno 2012-06-08.
  6. ^ Dantsin, E .; Eiter, T .; Gottlob, G.; Voronkov, A. (2001). "Složitost a expresivní síla logického programování". ACM Computing Surveys. 33 (3): 374. doi:10.1145/502807.502810.
  7. ^ Constantin, A .; Pettifer, S.; Voronkov, A. (2013). „PDFX: plně automatizovaný převod vědecké literatury z formátu PDF na XML“. Sborník sympozia ACM 2013 o dokumentovém inženýrství - Doc Eng '13. p. 177. doi:10.1145/2494266.2494271. ISBN  9781450317894.
  8. ^ Voronkov, Andreji (1987). Realizovatelnost a syntéza programu (Disertační práce). Novosibirská státní univerzita.
  9. ^ Voronkov, Andrej (2016). „Papíry od Andreje Voronkova“. cs.man.ac.uk. University of Manchester. Archivovány od originál dne 04.03.2016.
  10. ^ Kotelnikov, Evgenii; Kovács, Laura; Reger, Giles; Voronkov, Andrej (2016). „Upír a FOOL“. Sborník z 5. konference ACM SIGPLAN o certifikovaných programech a důkazech - CPP 2016. 37–48. arXiv:1510.04821. doi:10.1145/2854065.2854071. ISBN  9781450341271.
  11. ^ Robinson, John Alan; Voronkov, Andrei, eds. (2001). Příručka automatizovaného uvažování. MIT Stiskněte + Elsevier. ISBN  9780444508133.
  12. ^ Sekar, R .; Ramakrishnan, I.V .; Voronkov, Andrej (2001). "Indexování termínů". Robinson, John Alan; Voronkov, Andrei (eds.). Příručka automatizovaného uvažování. 1853–1964. doi:10.1016 / B978-044450813-3 / 50028-X. ISBN  9780444508133.
  13. ^ Degtyarev, Anatoli; Voronkov, Andrej (2001). "Zdůvodňování rovnosti v sekvenčně založených kalkulích". Robinson, John Alan; Voronkov, Andrei (eds.). Příručka automatizovaného uvažování. str. 611–706. doi:10.1016 / B978-044450813-3 / 50012-6. ISBN  9780444508133.
  14. ^ Degtyarev, Anatoli; Voronkov, Andrej (2001). "Inverzní metoda". Robinson, John Alan; Voronkov, Andrei (eds.). Příručka automatizovaného uvažování. 179–272. doi:10.1016 / B978-044450813-3 / 50006-0. ISBN  9780444508133.
  15. ^ Seznam publikací z Microsoft Academic
  16. ^ Andrej Voronkov publikace indexované podle Google Scholar Upravte to na Wikidata
  17. ^ Andrej Voronkov na DBLP Bibliografický server Upravte to na Wikidata
  18. ^ Publikace Andreje Voronkova indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
  19. ^ Andrej Voronkov stránka s profilem autora na ACM Digitální knihovna Upravte to na Wikidata
  20. ^ Anon (2015). „Granty udělené Andrei Voronkovovi EPSRC“. epsrc.ac.uk. Swindon: Rada pro výzkum inženýrství a fyzikálních věd. Archivovány od originál dne 2015-05-12.
  21. ^ Anon (2016). „Vládní granty Spojeného království byly uděleny Andreji Voronkovovi“. rcuk.ac.uk. Swindon: Research Councils UK. Archivovány od originál dne 2016-08-09.
  22. ^ „Herbrand Award“. cadeinc.org. CADE vč.