stringtranslate.com

Andréi 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 se educó en la Universidad Estatal de Novosibirsk y se graduó con un doctorado en 1987. [8] [9]

Investigación

Voronkov es conocido por el demostrador automatizado de teoremas 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 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 necesaria ]

Referencias

  1. ^ abc Voronkov, AA (1987). "Síntesis de programas deductivos y principio de Markov". Fundamentos de la teoría de la computación . Apuntes de conferencias sobre informática. vol. 278, págs. 479–482. doi :10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0.
  2. ^ ab Andrei Voronkov en la Biblioteca del Congreso
  3. ^ ab Anón (2016). "Andrei VORONKOV Fecha de nacimiento mayo de 1959". Companieshouse.gov.uk . Londres: Casa de Empresas . 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". Encuestas de Computación ACM . 33 (3): 374. doi : 10.1145/502807.502810. S2CID  518049.
  7. ^ Constantino, A.; Pettifer, S .; Voronkov, A. (2013). "PDFX: conversión de literatura científica de PDF a XML totalmente automatizada". Actas del simposio ACM de 2013 sobre ingeniería de documentos - Doc Eng '13 (PDF) . pag. 177. doi : 10.1145/2494266.2494271. ISBN 9781450317894. S2CID  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 V 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 . Prensa del MIT + 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 por Google Scholar
  17. ^ Andrei Voronkov en el servidor de bibliografía DBLP
  18. ^ Publicaciones de Andrei Voronkov indexadas por la base de datos bibliográfica Scopus . (requiere suscripción)
  19. ^ Página de perfil del autor de Andrei Voronkov en la Biblioteca Digital ACM
  20. ^ Luego (2015). "Subvenciones concedidas a Andrei Voronkov por la 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. ^ Luego (2016). "Subvenciones del gobierno del Reino Unido otorgadas a Andrei Voronkov". rcuk.ac.uk. ​Swindon: Consejos de investigación del Reino Unido . Archivado desde el original el 9 de agosto de 2016.
  22. ^ "Premio Herbrand". cadeinc.org . CADE inc.