stringtranslate.com

Richard Bird (informático)

Richard Simpson Bird (4 de febrero de 1943 - 4 de abril de 2022) [1] fue un informático inglés .

Publicaciones

Fue miembro supernumerario de Computación en el Lincoln College , Universidad de Oxford , en Oxford , Inglaterra , [2] y ex director del Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación, Universidad de Oxford ). [3] Anteriormente, Bird estuvo en la Universidad de Reading .

Intereses de investigación

Los intereses de investigación de Bird radicaban en el diseño de algoritmos y la programación funcional , y era conocido como colaborador habitual del Journal of Functional Programming y como autor de varios libros que promovían el uso del lenguaje de programación Haskell , incluida Introducción a la programación funcional utilizando Haskell , [4 ] Pensando funcionalmente con Haskell , [5] Diseño de algoritmos con Haskell en coautoría con Jeremy Gibbons , [6] y otros libros sobre temas relacionados. [7] [8] Su nombre está asociado con el formalismo de Bird-Meertens , un cálculo para derivar programas a partir de especificaciones en un estilo de programación funcional.

Otras afiliaciones organizativas

Fue miembro del Grupo de Trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [9] que especificó , soporta y mantiene los lenguajes de programación ALGOL 60 y ALGOL 68 . [10]

Referencias

  1. ^ "Profesor Richard Bird (4 de febrero de 1943 - 4 de abril de 2022)". Noticias universitarias . Universidad de Oxford. 20 de abril de 2022.
  2. ^ Becarios y personal, Lincoln College, Oxford , Reino Unido.
  3. ^ Richard Bird, Laboratorio de Computación de la Universidad de Oxford , Reino Unido.
  4. ^ Pájaro, Richard (1998). Introducción a la programación funcional utilizando Haskell (2ª ed.). Prensa de Prentice Hall. ISBN 978-0-13-484346-9.
  5. ^ Pájaro, Richard (2014). Pensando funcionalmente con Haskell . Prensa de la Universidad de Cambridge. ISBN 978-1-107-45264-0.
  6. ^ Pájaro, Richard; Gibbons, Jeremy (julio de 2020). Diseño de algoritmos con Haskell . Prensa de la Universidad de Cambridge. ISBN 978-1-108-49161-7.
  7. ^ Pájaro, Richard (1972-2006). "Publicaciones". Laboratorio de Computación de la Universidad de Oxford . Reino Unido.
  8. ^ Pájaro, Richard (2021). "Ricardo pájaro". Departamento de Ciencias de la Computación de la Universidad de Oxford . Reino Unido.
  9. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 del IFIP". Foswiki . Consultado el 10 de septiembre de 2020 .
  10. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki". Foswiki . Consultado el 10 de septiembre de 2020 .

enlaces externos