stringtranslate.com

Andrei Voronkov

Andrei Anatolievič Voronkov (nacido en 1959) [2] [3] es profesor de métodos formales en el Departamento de Ciencias de la Computación de la Universidad de Manchester . [5] [6] [7]

Educación

Voronkov estudió en la Universidad Estatal de Novosibirsk , [1] graduándose con un doctorado en 1987. [8] [9]

Investigación

Voronkov es conocido por el demostrador de teoremas automatizado Vampire [4] [10] , el software de gestión de conferencias EasyChair , el Handbook of Automated Reasoning (con John Alan Robinson , 2001), [11] [12] [13] [14] y como organizador de la Conferencia del Centenario de Alan Turing de 2012. [15] [16] [17] [18] [19]

La investigación de Voronkov ha sido financiada por el Consejo de Investigación en Ingeniería y Ciencias Físicas (EPSRC) . [20] [21]

Premios y honores

En 2015, sus contribuciones al campo del razonamiento automatizado fueron reconocidas con el Premio Herbrand . [22] Ha ganado 25 títulos de división en la Competencia del Sistema CADE ATP (CASC) en la Conferencia sobre Deducción Automatizada (CADE) desde 1999. [ cita requerida ]

Referencias

  1. ^ abc Voronkov, AA (1987). "Síntesis deductiva de programas y principio de Markov". Fundamentos de la teoría de la computación . Apuntes de clase en informática. Vol. 278. págs. 479–482. doi :10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0.
  2. ^ por Andrei Voronkov en la Biblioteca del Congreso
  3. ^ ab Anon (2016). "Andrei VORONKOV Fecha de nacimiento mayo de 1959". companieshouse.gov.uk . Londres: Companies House . Archivado desde el original el 9 de agosto de 2016.
  4. ^ ab Voronkov, A. (1995). "La anatomía del vampiro". Revista de razonamiento automatizado . 15 (2): 237–265. doi :10.1007/BF00881918. S2CID  1541122.
  5. ^ "Prof. Andrei Voronkov, perfil de investigación - datos personales (Universidad de Manchester)" . Consultado el 8 de junio de 2012 .
  6. ^ Dantsin, E.; Eiter, T.; Gottlob, G .; Voronkov, A. (2001). "Complejidad y poder expresivo de la programación lógica". ACM Computing Surveys . 33 (3): 374. doi :10.1145/502807.502810. S2CID  518049.
  7. ^ Constantin, A.; Pettifer, S .; Voronkov, A. (2013). "PDFX: conversión totalmente automatizada de PDF a XML de literatura científica". Actas del simposio ACM de 2013 sobre ingeniería de documentos - Doc Eng '13 (PDF) . p. 177. doi :10.1145/2494266.2494271. ISBN 9781450317894. Número de identificación del sujeto  17173414.
  8. ^ Voronkov, Andrei (1987). Realizabilidad y síntesis de programas (tesis doctoral). Universidad Estatal de Novosibirsk.
  9. ^ Voronkov, Andrei (2016). "Artículos de Andrei Voronkov". cs.man.ac.uk . Universidad de Manchester. Archivado desde el original el 4 de marzo de 2016.
  10. ^ Kotelnikov, Evgenii; Kovács, Laura; Reger, Giles; Voronkov, Andrei (2016). "El vampiro y el TONTO". Actas de la 5.ª Conferencia ACM SIGPLAN sobre programas y pruebas certificados - CPP 2016. págs. 37–48. arXiv : 1510.04821 . doi :10.1145/2854065.2854071. ISBN 9781450341271.
  11. ^ Robinson, John Alan; Voronkov, Andrei, eds. (2001). Manual de razonamiento automatizado . MIT Press + Elsevier. ISBN 9780444508133.
  12. ^ Sekar, R.; Ramakrishnan, IV; Voronkov, Andrei (2001). "Indexación de términos". En Robinson, John Alan; Voronkov, Andrei (eds.). Manual de razonamiento automatizado . págs. 1853–1964. doi :10.1016/B978-044450813-3/50028-X. ISBN 9780444508133.
  13. ^ Degtyarev, Anatoli; Voronkov, Andrei (2001). "Razonamiento de igualdad en cálculos basados ​​en secuencias". En Robinson, John Alan; Voronkov, Andrei (eds.). Manual de razonamiento automatizado . págs. 611–706. doi :10.1016/B978-044450813-3/50012-6. hdl :11858/00-001M-0000-0014-7A79-8. ISBN . 9780444508133.
  14. ^ Degtyarev, Anatoli; Voronkov, Andrei (2001). "El método inverso". En Robinson, John Alan; Voronkov, Andrei (eds.). Manual de razonamiento automatizado . págs. 179–272. doi :10.1016/B978-044450813-3/50006-0. ISBN 9780444508133.
  15. ^ Publicaciones de Andrei Voronkov indexadas por Microsoft Academic
  16. ^ Publicaciones de Andrei Voronkov indexadas en Google Scholar
  17. ^ Andrei Voronkov en el servidor de bibliografía DBLP
  18. ^ Publicaciones de Andrei Voronkov indexadas en la base de datos bibliográfica Scopus . (se requiere suscripción)
  19. ^ Página de perfil del autor Andrei Voronkov en la Biblioteca Digital ACM
  20. ^ Anónimo (2015). "Subvenciones otorgadas a Andrei Voronkov por el EPSRC". epsrc.ac.uk . Swindon: Consejo de Investigación en Ingeniería y Ciencias Físicas. Archivado desde el original el 12 de mayo de 2015.
  21. ^ Anónimo (2016). "Subvenciones del Gobierno del Reino Unido otorgadas a Andrei Voronkov". rcuk.ac.uk . Swindon: Research Councils UK . Archivado desde el original el 9 de agosto de 2016.
  22. ^ "Premio Herbrand". cadeinc.org . CADE inc.