stringtranslate.com

Rod Burstall

Rodney Martineau " Rod " Burstall (nacido en 1934) Miembro de la Royal Society of Edinburgh (FRSE) es un informático británico y uno de los cuatro fundadores del Laboratorio de Fundamentos de la Informática de la Universidad de Edimburgo . [2]

Biografía

Burstall estudió física en la Universidad de Cambridge y luego obtuvo 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 una tesis titulada Métodos heurísticos y de árbol 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 COWSEL (rebautizado como POP-1) y POP-2 , lenguajes de programación innovadores desarrollados en la Universidad de Edimburgo alrededor de 1970, y posteriormente trabajó 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 organizaron un festival para Burstall que se publicó en Formal Aspects of Computing . [4]

En 2009, recibió el premio SIGPLAN Programming Language Achievement Award de la Association for Computing Machinery (ACM) . [6] [7]

Libros

Referencias

  1. ^ ab Rod Burstall en el Proyecto de genealogía de matemáticas
  2. ^ 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.
  3. ^ "Página de inicio de Rod Burstall". Universidad de Edimburgo . Consultado el 31 de octubre de 2012 .
  4. ^ ab 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 informática", Aspectos formales de la informática 13 (3-5): 187–193 doi :10.1007/ s001650200006
  5. ^ "Profesor Rodney Martineau Burstall FRSE - Real Sociedad de Edimburgo". La Real Sociedad de Edimburgo . Consultado el 12 de marzo de 2018 .
  6. ^ "Premio al logro en lenguajes de programación SIGPLAN - 2009: Rod Burstall". Asociación de Maquinaria de Computación (ACM) SIGPLAN . Consultado el 22 de septiembre de 2012 .
  7. ^ Wallace, Malcolm. "Premio al logro en lenguajes de programación SIGPLAN: Rod Burstall". Vimeo . Consultado el 22 de septiembre de 2012 . Presentado por Philip Wadler .{{cite web}}: Mantenimiento CS1: posdata ( enlace )

enlaces externos