Richard Bird (computer scientist)
Richard Simpson Bird | |
|---|---|
 Professor Richard S. Bird | |
| Born | 13 February 1943 London, England |
| Died | 4 April 2022 (aged 79) |
| Known for | Algorithm design Functional programming Bird–Meertens formalism |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of Reading University of Oxford |
| Website | web |
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
- ^ Fellows & Staff, Lincoln College, Oxford, UK.
- ^ Richard Bird, Oxford University Computing Laboratory, UK.
- ^ Publications, Richard Bird, Oxford University Computing Laboratory, UK.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.
External links
- Official website, laboratory
- {{DBLP}} template missing ID and not present in Wikidata.
Media related to Richard Bird (computer scientist) at Wikimedia Commons
 | This biographical article relating to a computer specialist is a stub. You can help Justapedia by expanding it. |
- Use dmy dates from April 2018
- Use British English from April 2018
- Articles without Wikidata item
- Articles with hCards
- Official website not in Wikidata
- DBLP template missing ID and not in Wikidata
- Commons category link is the pagename
- AC with 0 elements
- 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
- All stub articles
- Computer specialist stubs
- 2022 deaths