Hispanopedia Wiki
Articulo de referencia

Alan Bundy

{{Who's Who | title=Bundy, Prof. Alan Richard | id = U9391 | author=Anon|doi=10.1093/ww/9780199540884.013.U9391|year = 2015 | edition = online [[Oxford University Press]]}} "},"...

Hispanopedia WikiContenido en espanolLectura gratuita

Alan Richard Bundy (nacido el 18 de mayo de 1947) es profesor en 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 . [ 2 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ]

Educación

Alan Bundy se formó como matemático, obteniendo 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. [ 12 ]

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 se integró en el nuevo Departamento de Inteligencia Artificial, y en 1998 se integró en la nueva Escuela de Informática . De 1971 a 1973, fue investigador asociado en el proyecto "Theorem Proving by Computer" del Prof. B. Meltzer, financiado por el Consejo de Investigación Científica y de Ingeniería (SERC) ; 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 titular. De 1987 a 1992, fue becario sénior del SERC . De 1998 a 2001 fue director de la recién creada División (posteriormente Escuela) de Informática en Edimburgo.

Entre 2000 y 2005, fue fundador y coordinador del Comité de Investigación Informática del Reino Unido, que promueve la investigación informática en el país. Entre 2010 y 2012, fue vicepresidente y miembro del consejo de administración de la Sociedad Británica de Informática, con especial responsabilidad en la Academia de Informática. [ 13 ]

Honores y premios

Bundy fue miembro fundador de la AAAI en 1990 y fue elegido miembro de la Royal Society of Edinburgh (FRSE) en 1996, miembro fundador de la SSAISB en 1997, miembro fundador del Comité Coordinador Europeo para la 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 las representaciones" . [ 15 ]

Es el ganador del Premio IJCAI 2007 a la Excelencia en la Investigación y del Premio Herbrand a las Contribuciones Destacadas 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 e 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 realizado contribuciones de vanguardia 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 en razonamiento automatizado se ha aplicado en el desarrollo de sistemas de hardware y software, donde ha incrementado 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 en evolución de representaciones facilita la comunicación entre organismos con diferentes representaciones de conocimiento relacionado. [ 18 ]

Referencias

  1. ↑ Anon (2015). "Bundy, Prof. Alan Richard" . Who's Who (edición en línea de Oxford University Press  ). A  &  C Black. doi : 10.1093/ww/9780199540884.013.U9391 .(Se requiere suscripción o ser miembro de una biblioteca pública del Reino Unido ).
  2. 1 2 Publicaciones de Alan Bundy indexadas por Google Académico
  3. 1 2 Alan Bundy en el Proyecto de Genealogía Matemática
  4. ↑ http://homepages.inf.ed.ac.uk/bundy/ Sitio web del profesor Alan Bundy
  5. ↑ http://dream.inf.ed.ac.uk/ Grupo de Razonamiento Matemático
  6. ↑ Alan Bundy en el servidor de bibliografía DBLP
  7. ↑ Publicaciones de Alan Bundy indexadas en la base de datos bibliográfica Scopus . (Se requiere suscripción)
  8. ↑ Bundy, Alan Richard (1988). "El uso de planes explícitos para guiar las demostraciones inductivas" (PDF) . 9.ª Conferencia Internacional sobre Deducción Automatizada . Lecture Notes in Computer Science. Vol. 310. pp. 111–120 . doi : 10.1007/BFb0012826 . hdl : 1842/4561 . ISBN   978-3-540-19343-2.
  9. ↑ Página de perfil del autor Alan Bundy en la Biblioteca Digital de la ACM
  10. ↑ Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: Una heurística para guiar las pruebas inductivas". Inteligencia Artificial . 62 (2): 185. doi : 10.1016/0004-3702(93)90079-Q . hdl : 1842/4748 . S2CID 7169278 . 
  11. ↑ Bundy, Alan (1986). Modelado informático del razonamiento matemático (PDF) . OCLC 59289386 . 
  12. ↑ 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 .  Icono de acceso gratuito
  13. ↑ "Alan Bundy" . research.ed.ac.uk . Consultado el 7 de septiembre de 2021 .
  14. ↑ "Lista de miembros" . raeng.org.uk . Real Academia de Ingeniería. Archivado del original el 8 de junio de 2016. Consultado el 14 de octubre de 2014 .
  15. ↑ Becarios de la ACM 2014
  16. ↑ "Comunicado de prensa de HP: HP selecciona a 41 profesores para los premios de investigación en innovación" .
  17. ↑ "N.º 60009" . The London Gazette (Suplemento). 31 de diciembre de 2011. pág. 7. 
  18. 1 2 "Profesor Alan Bundy CBE FREng FRS" . Londres: Royal Society . Archivado del original el 5 de noviembre de 2015.