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
- ^ 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.
- ^ ab Andrei Voronkov en la Biblioteca del Congreso
- ^ 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.
- ^ ab Voronkov, A. (1995). "La anatomía del vampiro". Revista de razonamiento automatizado . 15 (2): 237–265. doi :10.1007/BF00881918. S2CID 1541122.
- ^ "Prof Andrei Voronkov, perfil de investigación - datos personales (Universidad de Manchester)" . Consultado el 8 de junio de 2012 .
- ^ 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.
- ^ 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.
- ^ Voronkov, Andrei (1987). Realizabilidad y Síntesis de Programas (tesis doctoral). Universidad Estatal de Novosibirsk.
- ^ 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.
- ^ 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.
- ^ Robinson, John Alan; Voronkov, Andrei, eds. (2001). Manual de razonamiento automatizado . Prensa del MIT + Elsevier. ISBN 9780444508133.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ Publicaciones de Andrei Voronkov indexadas por Microsoft Academic
- ^ Publicaciones de Andrei Voronkov indexadas por Google Scholar
- ^ Andrei Voronkov en el servidor de bibliografía DBLP
- ^ Publicaciones de Andrei Voronkov indexadas por la base de datos bibliográfica Scopus . (requiere suscripción)
- ^ Página de perfil del autor de Andrei Voronkov en la Biblioteca Digital ACM
- ^ 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.
- ^ 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.
- ^ "Premio Herbrand". cadeinc.org . CADE inc.