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]
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]
{{cite web}}: Mantenimiento de CS1: postscript ( enlace )