Richard Simpson Bird (13 February 1943 – 4 April 2022) was an English computer scientist.

Educatation and career

Richard Bird was born in London and educated at St Olave's Grammar School in Southwark, south London. He studied mathematics at the University of Cambridge. He worked briefly at International Computers and Tabulators and then started postgraduate study at the University of London Institute of Computer Science. He joined the University of Reading as a lecturer in 1972 and received his PhD degree from Imperial College London in 1974. In 1983, he was appointed as a Supernumerary Fellow of Computation at Lincoln College, one of the colleges at the University of Oxford. He was a member of the Programming Research Group under the leadership of Tony Hoare at Oxford, and eventually became the director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford) from 1998 to 2003.

Bird succeeded Tony Hoare as the series editor of the Prentice Hall International Series in Computer Science. He also established and was the founding editor of the "Functional Pearls" column, from the first issue of the Journal of Functional Programming in 1991 until his retirement in 2008.

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, Thinking Functionally with Haskell, Algorithm Design with Haskell co-authored with Jeremy Gibbons, and other books on related topics. His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style.

Books

Bird published the following books, among others:

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, which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68.

External links

  • at DBLP Bibliography Server
  • Gibbons, Jeremy (6 June 2022). . Patterns in Functional Programming.