Richard Bird (computer scientist)

Richard Simpson Bird (born 1943 in London) is a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England,[1] and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford).[2]

Richard Simpson Bird
Professor Richard S. Bird
Born1943 (age 7778)
CitizenshipUnited Kingdom
Known forAlgorithm design
Functional programming
Bird–Meertens formalism
Scientific career
FieldsComputer science
InstitutionsUniversity of Reading
University of Oxford
Websiteweb.comlab.ox.ac.uk/oucl/work/richard.bird

Bird's research interests lie in algorithm design and functional programming, and he is known as a regular contributor to the Journal of Functional Programming and the author of Introduction to Functional Programming using Haskell and other books.[3] His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style.

Formerly, Bird was at the University of Reading.

He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[4] which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68.[5]

References

  1. Fellows & Staff, Lincoln College, Oxford, UK.
  2. Richard Bird, Oxford University Computing Laboratory, UK.
  3. Publications, Richard Bird, Oxford University Computing Laboratory, UK.
  4. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
  5. Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.