Alan Richard Bundy CBE FRS FRSE FREng [4] es profesor de 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 de metanivel para guiar la prueba. buscar . [1] [6] [7] [8] [9] [10] [11] [12]
Alan Bundy se educó como matemático, obtuvo una licenciatura con honores 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]
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 el nuevo Escuela de Informática . De 1971 a 1973, fue becario de investigación en la beca del Consejo de Investigación en Ciencia e Ingeniería (SERC) del Prof. B. Meltzer , Prueba de teoremas por computadora ; en 1973 fue nombrado profesor universitario ; en 1984 fue ascendido a lector ; en 1987, fue ascendido a catedrático; y en 1990 fue ascendido a profesor. De 1987 a 1992, obtuvo una beca SERC Senior . 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. De 2010 a 2012, se desempeñó como vicepresidente y administrador de la Sociedad Británica de Computación con especial responsabilidad en la Academia de Computación. [14]
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 para la Inteligencia Artificial (ECCAI) en 1999, miembro de la Sociedad Británica de Computación en 2004 y miembro de la Institución de Ingenieros Eléctricos en 2005. Fue elegido miembro de la Real Academia de Ingeniería (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". . [15]
Es el ganador del Premio IJCAI a la Excelencia en Investigación 2007 y del 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 Hewlett-Packard Labs Innovation Research Awards 2008. [16]
Bundy fue nombrado CBE en los Honores de Año Nuevo de 2012 por sus servicios a las ciencias de la computación. [17] Fue elegido miembro de la Royal Society (FRS) en 2012 , [18] su certificado de elección dice
Alan Bundy ha realizado contribuciones líderes a nivel mundial tanto al razonamiento automatizado como a la formación y evolución automatizadas de representaciones del conocimiento. Ha desarrollado técnicas novedosas con 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 disminuido el nivel de habilidades y el tiempo de desarrollo necesarios para verificar los 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 conocimientos relacionados. [18]
