Alan Bundy - Alan Bundy

Alan Bundy

Alan.Bundy.Image.jpg
Nació
Alan Richard Bundy

( 05/18/1947 )18 de mayo de 1947 (74 años)
Nacionalidad británico
alma mater Universidad de Leicester (BSc, PhD)
Premios
Carrera científica
Los campos
Instituciones Universidad de Edimburgo
Tesis La metateoría del cálculo de ecuaciones elementales  (1971)
Asesor de doctorado Reuben Goodstein
Estudiantes de doctorado
Sitio web páginas de inicio .inf .ed .ac .uk / bundy

Alan Richard Bundy CBE FRS FRSE FREng es profesor en la Escuela de Informática de la Universidad de Edimburgo , conocido por sus contribuciones al razonamiento automatizado , especialmente a la planificación de pruebas, el uso del razonamiento a nivel meta para guiar la búsqueda de pruebas .

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.

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 de 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. De 2010 a 2012 se desempeñó como vicepresidente y fideicomisario de la British Computer Society con especial responsabilidad en la Academy of Computing.

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) en 2008. Fue elegido miembro de la ACM en 2014 "Por contribuciones a inteligencia artificial , razonamiento automatizado y formación y evolución de representaciones ". .

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 Hewlett Packard Labs Innovation Research Awards 2008.

Bundy fue nombrado CBE en los honores de Año Nuevo de 2012 por sus servicios a las ciencias de la computación. Fue elegido miembro de la Royal Society (FRS) en 2012 , 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.

Referencias