Richard Bird (científico informático)

Richard Simpson Bird
Profesor Richard S. Bird
Nació	1943 (77 a 78 años) Londres , inglaterra
Ciudadanía	Reino Unido
Conocido por	Diseño de algoritmos Programación funcional Formalismo Bird-Meertens
Carrera científica
Los campos	Ciencias de la Computación
Instituciones	Universidad de Reading Universidad de Oxford

Sitio web	web .comlab .ox .ac .uk / oucl / work / richard .bird

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]

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 .

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 .

Este artículo biográfico relacionado con un especialista en informática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .