Richard Bird (computer scientist)

From Wikipedia, the free encyclopedia

Richard Simpson Bird
Head photograph of an older white male smiling, with short grey hair and glasses
Professor Richard S. Bird
Born1943 (age 77–78)
London, England
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

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]

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.

External links[]

Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""