stringtranslate.com

Richard Bird (informático)

Richard Simpson Bird (4 de febrero de 1943 - 4 de abril de 2022) [1] fue un científico 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 el 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 se centraban 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 , entre los que se incluyen Introduction to Functional Programming using Haskell , [4] Thinking Functionally with Haskell , [5] Algorithm Design with Haskell en coautoría con Jeremy Gibbons , [6] y otros libros sobre temas relacionados. [7] [8] Su nombre está asociado al formalismo 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 2.1 de la Federación Internacional de Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [9] que especificó , apoyó y mantuvo 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)". College News . 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. ^ Bird, Richard (1998). Introducción a la programación funcional con Haskell (2.ª edición). Prentice Hall Press. ISBN 978-0-13-484346-9.
  5. ^ Bird, Richard (2014). Pensamiento funcional con Haskell . Cambridge University Press. ISBN 978-1-107-45264-0.
  6. ^ Bird, Richard; Gibbons, Jeremy (julio de 2020). Diseño de algoritmos con Haskell . Cambridge University Press. ISBN 978-1-108-49161-7.
  7. ^ Bird, Richard (1972–2006). «Publicaciones». Laboratorio de Computación de la Universidad de Oxford . Reino Unido.
  8. ^ Bird, Richard (2021). "Richard Bird". Departamento de Informática 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