Alan Richard Bundy (nacido el 18 de mayo de 1947) es profesor de la Escuela de Informática de la Universidad de Edimburgo , [4] conocido por sus contribuciones al razonamiento automatizado , especialmente a la planificación de pruebas, el uso del razonamiento de metanivel para guiar la búsqueda de pruebas . [1] [5] [6] [7] [8] [9] [10] [11]
Alan Bundy se formó 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. [12]
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 absorbida por el nuevo Departamento de Inteligencia Artificial, y en 1998 fue absorbida por la nueva Escuela de Informática . De 1971 a 1973, fue investigador asociado en la beca del Consejo de Investigación en Ciencia e Ingeniería (SERC) del Prof. B. Meltzer para la demostración de teoremas por computadora ; en 1973, fue nombrado profesor universitario ; en 1984, fue ascendido a lector ; en 1987, fue ascendido a profesor asociado; y en 1990, fue ascendido a catedrático. De 1987 a 1992, tuvo una beca sénior del SERC . De 1998 a 2001 fue director de la recién creada 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 informática en el Reino Unido. De 2010 a 2012, se desempeñó como vicepresidente y fideicomisario de la British Computer Society , con especial responsabilidad por la Academy of Computing. [13]
Bundy fue miembro fundador de la AAAI en 1990, y elegido miembro de la Royal Society of Edinburgh (FRSE) en 1996, miembro fundador de la SSAISB en 1997, miembro fundador del Comité Coordinador Europeo de Inteligencia Artificial (ECCAI) en 1999, miembro de la British Computer Society en 2004 y miembro de la Institution of Electrical Engineers en 2005. Fue elegido miembro de la Royal Academy of Engineering (FREng) [14] en 2008. Fue elegido miembro de la ACM en 2014 "por sus contribuciones a la inteligencia artificial , el razonamiento automatizado y la formación y evolución de representaciones" . [15]
Es el ganador del Premio IJCAI 2007 a la Excelencia en Investigación y del Premio Herbrand por Contribuciones Destacadas a la Deducción Automatizada .
Fue uno de los 41 profesores seleccionados a nivel mundial para recibir uno de los Premios de Investigación de Innovación de Hewlett-Packard Labs 2008. [16]
Bundy fue nombrado CBE en los Honores de Año Nuevo de 2012 por sus servicios a la ciencia informática. [17] Fue elegido miembro de la Royal Society (FRS) en 2012 , [18] su certificado de elección dice
Alan Bundy ha hecho contribuciones de primera línea a nivel mundial, tanto en el campo del razonamiento automatizado como en el de la formación y evolución automatizadas de representaciones del conocimiento. Ha desarrollado técnicas novedosas con una mayor eficiencia, alcance y comportamiento. 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 reducido el nivel de habilidad y el tiempo de desarrollo necesarios para verificar programas informáticos 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 de conocimiento relacionado. [18]
