Andrei Anatolievič Voronkov (nacido en 1959) [1] [2] es profesor de métodos formales en el Departamento de Ciencias de la Computación de la Universidad de Manchester . [5] [6] [7]
Andrei Voronkov | |
---|---|
Андрей Анатольевич Воронков | |
Nació | Andrei Anatolievič Voronkov 14 de mayo de 1959 [1] [2] |
alma mater | Universidad Estatal de Novosibirsk [3] |
Conocido por | |
Premios |
|
Carrera científica | |
Campos | Métodos formales |
Instituciones | |
Tesis | Realización y síntesis del programa (1987) |
Sitio web |
Educación
Voronkov se educó en la Universidad Estatal de Novosibirsk , [3] se graduó con un doctorado en 1987. [8] [9]
Investigar
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 ATP del CADE (CASC) en la Conferencia sobre Deducción Automatizada (CADE) desde 1999. [ cita requerida ]
Referencias
- ^ a b Andrei Voronkov en Autoridades de la Biblioteca del Congreso
- ↑ a b 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.
- ^ a b c Voronkov, AA (1987). "Síntesis del programa deductivo y principio de Markov". Fundamentos de la teoría de la computación . Apuntes de conferencias en informática. 278 . págs. 479–482. doi : 10.1007 / 3-540-18740-5_105 . ISBN 978-3-540-18740-0.
- ^ a b 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 .
- ^ Constantin, A .; Pettifer, S .; Voronkov, A. (2013). "PDFX: conversión de PDF a XML totalmente automatizada de literatura científica" . Actas del simposio de 2013 ACM sobre ingeniería de documentos - Doc Eng '13 . pag. 177. doi : 10.1145 / 2494266.2494271 . ISBN 9781450317894. S2CID 17173414 .
- ^ Voronkov, Andrei (1987). Realización y síntesis del programa (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 5a Conferencia ACM SIGPLAN sobre Programas Certificados y Pruebas - 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 . MIT Presione + 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 secuencia". 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.
- ^ Lista de publicaciones de Microsoft Academic
- ^ Publicaciones de Andrei Voronkov indexadas por Google Scholar
- ^ Andrei Voronkov en elservidor de bibliografía DBLP
- ^ Publicaciones de Andrei Voronkov indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Página de perfil de autor de Andrei Voronkov en laBiblioteca digital de ACM
- ^ Anon (2015). "Becas 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.
- ^ Anon (2016). "Subvenciones del gobierno del Reino Unido concedidas a Andrei Voronkov" . rcuk.ac.uk . Swindon: Research Councils UK . Archivado desde el original el 9 de agosto de 2016.
- ^ "Premio Herbrand" . cadeinc.org . CADE inc.