Richard Simpson Bird (nacido en 1943 en Londres ) es un miembro supernumerario de computación en el Lincoln College , Universidad de Oxford , en Oxford , Inglaterra , [1] y ex director del Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford). ). [2]
Richard Simpson Bird | |
---|---|
Nació | 1943 (77 a 78 años) |
Ciudadanía | Reino Unido |
Conocido por | Diseño de algoritmos Programación funcional Formalismo Bird-Meertens |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Reading Universidad de Oxford |
Sitio web | web |
Los intereses de investigación de Bird se encuentran en el diseño de algoritmos y la programación funcional , y es conocido como colaborador habitual del Journal of Functional Programming y autor de Introducción a la programación funcional utilizando Haskell y otros libros. [3] Su nombre está asociado con el formalismo Bird-Meertens , un cálculo para derivar programas a partir de especificaciones en un estilo de programación funcional.
Anteriormente, Bird estaba en la Universidad de Reading .
Fue miembro del Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [4] que especifica , apoya y mantiene los lenguajes de programación ALGOL 60 y ALGOL 68 . [5]
Referencias
- ^ Becarios y personal , Lincoln College, Oxford , Reino Unido.
- ^ Richard Bird , Laboratorio de Computación de la Universidad de Oxford , Reino Unido.
- ^ Publicaciones , Richard Bird , Laboratorio de Computación de la Universidad de Oxford, Reino Unido.
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 10 de septiembre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 10 de septiembre de 2020 .
enlaces externos
- Web oficial , laboratorio
- Richard S. Bird en el servidor de bibliografía DBLP
- Medios relacionados con Richard Bird (científico informático) en Wikimedia Commons