Barra Burstall
Barra Burstall | |
|---|---|
| Nacido | Noviembre de 1934 (edad ( 1934-11 )89) Liverpool , Inglaterra |
| Alma máter | Universidad de Cambridge Universidad de Birmingham |
| Conocido por | COWSEL (rebautizado como POP-1), POP-2 , NPL , Hope |
| Premios | Premio ACM SIGPLAN 2009 al mejor lenguaje de programación |
| Carrera científica | |
| Campos | Ciencias de la Computación |
| Instituciones | Universidad de Edimburgo |
| Asesor de doctorado | N. A. Dudley K. Brian Haley [1] |
| Estudiantes de doctorado | Thorsten Altenkirch John Darlington Mike Gordon Conor McBride J Strother Moore Alan Mycroft Gordon Plotkin Don Sannella |
| Sitio web | https://web.archive.org/web/20210225112350/http://www.freewebs.com/rodburstall/ |
Rodney Martineau " Rod " Burstall (nacido en 1934) es un científico informático británico y uno de los cuatro fundadores del Laboratorio de Fundamentos de la Ciencia de la Computación en la Universidad de Edimburgo . [2]
Biografía
Burstall estudió física en la Universidad de Cambridge y luego realizó un máster en investigación operativa en la Universidad de Birmingham . Trabajó durante tres años antes de regresar a la Universidad de Birmingham [3] para obtener un doctorado en 1966 con una tesis titulada Métodos heurísticos y de árboles de decisión en computadoras: algunas aplicaciones de investigación operativa bajo la supervisión de NA Dudley y KB Haley. [1]
Burstall fue un defensor temprano e influyente de la programación funcional , la coincidencia de patrones y la comprensión de listas , y es conocido por su trabajo con Robin Popplestone en COWSEL (rebautizado como POP-1) y POP-2 , lenguajes de programación innovadores desarrollados en la Universidad de Edimburgo alrededor de 1970, y su trabajo posterior con John Darlington en NPL y transformación de programas y con David MacQueen y Don Sannella en Hope , un precursor de Standard ML , Miranda y Haskell . [4]
En 1995, fue elegido miembro de la Royal Society de Edimburgo . [5]
Burstall se jubiló en 2000 y se convirtió en profesor emérito.
En 2002, David Rydeheard y Don Sannella elaboraron un artículo para Burstall que se publicó en Formal Aspects of Computing . [4]
En 2009, recibió el premio al logro en el lenguaje de programación SIGPLAN de la Asociación para Maquinaria Computacional (ACM) . [6] [7]
Libros
- Mayo de 1971: Programación en POP-11 , Edinburgh University Press .
- 1980: (con Alan Bundy ) Inteligencia artificial: un curso introductorio , Edinburgh University Press.
- 1988: (con DE Rydeheard) Teoría de categorías computacionales , Prentice-Hall , ISBN 978-0131627369 .
Referencias
- ^ de Rod Burstall en el Proyecto de Genealogía Matemática
- ^ Kerse, Eleanor (2002). "Oda a Rod Burstall". Aspectos formales de la informática . 13 (3–5). Springer Science+Business Media : 194. doi :10.1007/s001650200007. S2CID 917027.
- ^ "Página de inicio de Rod Burstall". Universidad de Edimburgo . Consultado el 31 de octubre de 2012 .
- ^ ab D. Rydeheard y Don Sannella (julio de 2002) "Una colección de artículos y memorias que celebran la contribución de Rod Burstall a los avances en la ciencia informática", Formal Aspects of Computing 13(3-5): 187–193 doi :10.1007/s001650200006
- ^ "Profesor Rodney Martineau Burstall FRSE – The Royal Society of Edinburgh". The Royal Society of Edinburgh . Consultado el 12 de marzo de 2018 .
- ^ "Premio al logro en lenguajes de programación SIGPLAN – 2009: Rod Burstall". Asociación para la Maquinaria Informática (ACM) SIGPLAN . Consultado el 22 de septiembre de 2012 .
- ^ Wallace, Malcolm. "Premio al logro en lenguajes de programación SIGPLAN: Rod Burstall". Vimeo . Consultado el 22 de septiembre de 2012. Introducido por Philip Wadler .
{{cite web}}: Mantenimiento de CS1: postscript ( enlace )
Enlaces externos
- Página de inicio de la Universidad de Edimburgo (archivada)
- Página de inicio de Rod Burstall (archivada)
- Rod M. Burstall en el servidor de bibliografía DBLP
 | Este artículo biográfico de un académico del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
 | Este artículo sobre un especialista en informática del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
