Richard Bird (computer scientist)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Template:Short description Template:Use dmy dates Template:Use British English Script error: No such module "Template wrapper".Template:Main otherScript error: No such module "Check for clobbered parameters". Richard Simpson Bird (13 February 1943 – 4 April 2022)[1] was an English computer scientist.

Posts

He was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England,[2] and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford).[3] Formerly, Bird was at the University of Reading.

Research interests

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 as author of several books promoting use of the programming language Haskell, including Introduction to Functional Programming using Haskell,[4] Thinking Functionally with Haskell,[5] Algorithm Design with Haskell co-authored with Jeremy Gibbons,[6] and other books on related topics.[7][8] His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style.

Other organisational affilitations

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

References

Template:Reflist

External links

Template:ALGOL programming Template:Haskell programming Script error: No such module "Navbox". Template:Authority control

  1. Script error: No such module "citation/CS1".
  2. Fellows & Staff, Lincoln College, Oxford, UK.
  3. Richard Bird, Oxford University Computing Laboratory, UK.
  4. Script error: No such module "citation/CS1".
  5. Script error: No such module "citation/CS1".
  6. Script error: No such module "citation/CS1".
  7. Script error: No such module "citation/CS1".
  8. Script error: No such module "citation/CS1".
  9. Script error: No such module "citation/CS1".
  10. Script error: No such module "citation/CS1".