Alan Richard Bundy CBE FRS FRSE FREng [4] es profesor en la Escuela de Informática de la Universidad de Edimburgo , [5] conocido por sus contribuciones al razonamiento automatizado , especialmente a la planificación de pruebas, el uso de razonamiento a nivel meta para guiar pruebas buscar . [2] [6] [7] [8] [9] [10] [11] [12]
Alan Bundy CBE FRS FRSE FREng | |
---|---|
Nació | Alan Richard Bundy 18 de mayo de 1947 [1] |
Nacionalidad | británico |
alma mater | Universidad de Leicester (BSc, PhD) |
Premios |
|
Carrera científica | |
Campos | |
Instituciones | Universidad de Edimburgo |
Tesis | La metateoría del cálculo de ecuaciones elementales (1971) |
Asesor de doctorado | Reuben Goodstein [3] |
Estudiantes de doctorado | |
Sitio web | páginas de inicio |
Educación
Alan Bundy se educó como matemático, obteniendo una licenciatura en Matemáticas en 1968 de la Universidad de Leicester y un Doctorado en Lógica Matemática en 1971, también de Leicester. [13]
Carrera e investigación
Desde 1971, Bundy ha trabajado en la Universidad de Edimburgo : inicialmente en la Unidad de 'Metamatemáticas', que en 1972 se convirtió en el Departamento de Lógica Computacional, en 1974 fue absorbido por el nuevo Departamento de Inteligencia Artificial y en 1998 fue absorbido por el nuevo Escuela de Informática . De 1971 a 1973, fue investigador en la beca del Consejo de Investigación en Ciencias e Ingeniería (SERC) del Prof. B. Meltzer, Demostración de teoremas por computadora ; en 1973 fue nombrado profesor universitario ; en 1984 fue ascendido a lector ; en 1987 fue ascendido a becario de cátedra; y en 1990 fue ascendido a profesor. De 1987 a 1992 ocupó una beca SERC Senior Fellowship . De 1998 a 2001 fue Jefe de la recién formada División (posteriormente Escuela) de Informática en Edimburgo.
De 2000 a 2005 fue fundador y coordinador del Comité de Investigación en Computación del Reino Unido, que desempeña un papel de defensa de la investigación en computación en el Reino Unido. Desde 2010 se desempeñó como vicepresidente y fideicomisario de la British Computer Society con especial responsabilidad en la Academy of Computing. [ cita requerida ]
Honores y premios
Bundy fue miembro fundador de la AAAI en 1990 y elegido miembro de la Royal Society of Edinburgh (FRSE) en 1996, miembro fundador de SSAISB en 1997, miembro fundador del Comité Coordinador Europeo de Inteligencia Artificial (ECCAI) en 1999, un miembro de la British Computer Society en 2004 y miembro de la Institución de Ingenieros Eléctricos en 2005. Fue elegido miembro de la Royal Academy of Engineering (FREng) [4] en 2008. Fue elegido miembro de la ACM en 2014 " Por contribuciones a la inteligencia artificial , el razonamiento automatizado y la formación y evolución de representaciones ". . [14]
Es el ganador del premio IJCAI 2007 a la excelencia en investigación y el premio Herbrand por contribuciones distinguidas a la deducción automatizada .
Fue uno de los 41 profesores seleccionados en todo el mundo para recibir uno de los premios de investigación de innovación de Hewlett Packard Labs 2008. [15]
Bundy fue nombrado CBE en los honores de Año Nuevo de 2012 por sus servicios a la ciencia de la computación. [16] Fue elegido miembro de la Royal Society (FRS) en 2012 , [17] su certificado de elección dice
Alan Bundy ha realizado contribuciones líderes en el mundo tanto al razonamiento automatizado como a la formación y evolución automatizadas de representaciones del conocimiento. Ha desarrollado técnicas novedosas con eficiencia, alcance y comportamiento mejorados. Su trabajo sobre el razonamiento automatizado ha encontrado aplicación en el desarrollo de sistemas de hardware y software, donde ha aumentado el nivel de automatización. Ha disminuido el nivel de habilidad y el tiempo de desarrollo necesarios para verificar los programas de computadora y ha sido adoptado por la industria. Su trabajo sobre la evolución de la representación facilita la comunicación entre agencias con diferentes representaciones del conocimiento relacionado. [17]
Referencias
- ^ Anon (2015). "Bundy, Prof. Alan Richard" . Quién es quién . ukwhoswho.com ( edición en línea de Oxford University Press ). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U9391 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
- ^ a b Publicaciones de Alan Bundy indexadas por Google Scholar
- ^ a b Alan Bundy en el Proyecto de genealogía de matemáticas
- ^ a b "Lista de becarios" . raeng.org.uk . Real Academia de Ingeniería.
- ^ http://homepages.inf.ed.ac.uk/bundy/ Sitio web del profesor Alan Bundy
- ^ http://dream.inf.ed.ac.uk/ Grupo de razonamiento matemático
- ^ Alan Bundy en elservidor de bibliografía DBLP
- ^ Publicaciones de Alan Bundy indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Bundy, Alan Richard (1988). "El uso de planes explícitos para orientar las pruebas inductivas" (PDF) . IX Congreso Internacional de Deducción Automatizada . Apuntes de conferencias en informática. 310 . págs. 111-120. doi : 10.1007 / BFb0012826 . hdl : 1842/4561 . ISBN 978-3-540-19343-2.
- ^ Página de perfil del autor de Alan Bundy en laBiblioteca digital de ACM
- ^ Bundy, A .; Stevens, A .; Van Harmelen, F .; Irlanda, A .; Smaill, A. (1993). "Ondulación: una heurística para guiar pruebas inductivas". Inteligencia artificial . 62 (2): 185. doi : 10.1016 / 0004-3702 (93) 90079-Q . hdl : 1842/4748 .
- ^ Bundy, Alan (1986). Modelado informático del razonamiento matemático (PDF) . OCLC 59289386 .
- ^ Bundy, Alan Richard (1971). La metateoría del cálculo de ecuaciones elementales (tesis doctoral). Universidad de Leicester. hdl : 2381/34566 . OCLC 1063438754 . EThOS uk.bl.ethos.674029 .
- ^ Becarios ACM 2014
- ^ "Comunicado de prensa de HP: HP selecciona a 41 profesores para los premios de investigación de innovación" .
- ^ "No. 60009" . The London Gazette (Suplemento). 31 de diciembre de 2011. p. 7.
- ^ a b "Profesor Alan Bundy CBE FREng FRS" . Londres: Royal Society . Archivado desde el original el 5 de noviembre de 2015.