Richard Simpson Bird (4 February 1943 – 4 April 2022) was a Supernumerary Fellow of Computation at Lincoln College,

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

, in

Oxford Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

, and former director of the Oxford University Computing Laboratory (now the

Department of Computer Science, University of Oxford The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

). Bird's research interests lay in

algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specificat ...

design and

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declar ...

, and he was known as a regular contributor to the ''

Journal of Functional Programming The ''Journal of Functional Programming'' is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics co ...

'' and the author of ''Introduction to Functional Programming using Haskell'' and other books. His name is associated with the

Bird–Meertens formalism The Bird–Meertens formalism (BMF) is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work with ...

, a

calculus Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithm ...

for deriving programs from

specifications A specification often refers to a set of documented requirements to be satisfied by a material, design, product, or service. A specification is often a type of technical standard. There are different types of technical or engineering specificati ...

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 IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP). IFIP WG 2.1 was formed as the body responsible for the continued support and maintenance of the progra ...

on Algorithmic Languages and Calculi, which specified, supports, and maintains the

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

ALGOL 60 ALGOL 60 (short for ''Algorithmic Language 1960'') is a member of the ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced code blocks and the begin and end pairs for delimiting them, representing a k ...

and ALGOL 68.

References

External links

* , laboratory * * 1943 births Living people English computer scientists English non-fiction writers Computer science writers Members of the Department of Computer Science, University of Oxford Fellows of Lincoln College, Oxford Academics of the University of Reading Programming language researchers Formal methods people English male non-fiction writers {{Compu-bio-stub