Rodney Martineau " Rod " Burstall FRSE (nacido en 1934) es un informático británico y uno de los cuatro fundadores del Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo . [2]
Rod Burstall | |
---|---|
Nació | Noviembre de 1934 (edad | 86)
Nacionalidad | británico |
alma mater | Universidad de Cambridge Universidad de Birmingham |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Edimburgo |
Asesor de doctorado | NA Dudley K. Brian Haley [1] |
Estudiantes de doctorado | Thorsten Altenkirch (1993) Raymond Aubin (1976) John Darlington (1972) Martin Feather (1979) Healfdene Goguen (1994) Mike Gordon (1973) Masahito Hasegawa (1997) Thomas Kleymann (1998) Zhaohui Luo (1990) Michael Mendler (1993) Conor McBride (1999) James McKinna (1992) J Strother Moore (1973) Alan Mycroft (1982) Gordon Plotkin (1972) Randy Pollack (1995) Brian Ritchie (1988) David Rydeheard (1982) Don Sannella (1982) Makoto Takeyama (1995) ) Rodney Topor (1975) |
Sitio web | http://www.freewebs.com/rodburstall/ |
Biografía
Burstall estudió física en la Universidad de Cambridge , luego un M.Sc. 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 la 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 uno de los primeros e influyentes defensores 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 POP , un lenguaje de programación innovador desarrollado en Edimburgo alrededor de 1970, y luego trabajó con John Darlington en NPL y programa transformación 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 of Edinburgh . [5]
Burstall se jubiló en 2000, se convirtió en profesor emérito y ahora pasa la mayor parte de su tiempo en Escocia y Francia .
En 2002, David Rydeheard y Don Sannella reunieron un festschrift para Rod Burstall que se publicó en Formal Aspects of Computing . [4]
En 2009, recibió el premio ACM SIGPLAN Programming Language Achievement Award. [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
- ^ a b Rod Burstall en el Proyecto de genealogía de matemáticas
- ^ Kerse, Eleanor (2002). "Oda a Rod Burstall". Aspectos formales de la informática . 13 (3-5). Springer . pag. 194. doi : 10.1007 / s001650200007 .
- ^ "Página de inicio de Rod Burstall" . Universidad de Edimburgo . Consultado el 31 de octubre de 2012 .
- ^ a b D. Rydeheard & 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 informática", Aspectos formales de la informática 13 (3-5): 187-193 doi : 10.1007 / s001650200006
- ^ "Profesor Rodney Martineau Burstall FRSE - La Real Sociedad de Edimburgo" . La Royal Society de Edimburgo . Consultado el 12 de marzo de 2018 .
- ^ "Premio al Logro de Lenguajes de Programación SIGPLAN - 2009: Rod Burstall" . ACM SIGPLAN . Consultado el 22 de septiembre de 2012 .
- ^ Wallace, Malcolm. "Premio al Logro de Lenguajes de Programación SIGPLAN: Rod Burstall" . Vimeo . Consultado el 22 de septiembre de 2012 . Introducido por Philip Wadler .CS1 maint: posdata ( enlace )
enlaces externos
- Página de inicio de la Universidad de Edimburgo
- Página de inicio de Rod Burstall
- Rod M. Burstall en el servidor de bibliografía DBLP