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
Born(1943-02-13)13 February 1943
London, England
Died4 April 2022(2022-04-04) (aged 79)
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 (4 February 1943 – 4 April 2022) was 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 lay in algorithm design and functional programming, and he was 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[edit]

  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[edit]