Richard Bird (computer scientist)
Appearance
Richard Simpson Bird (born 1943 in London) is 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 lie in algorithm design and functional programming, and he is 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.
References
- ^ Fellows & Staff, Lincoln College, Oxford, UK.
- ^ Richard Bird, Oxford University Computing Laboratory, UK.
- ^ Publications, Richard Bird, Oxford University Computing Laboratory, UK.
External links
- Official website, laboratory
- Richard S. Bird at DBLP Bibliography Server
- Media related to Richard Bird (computer scientist) at Wikimedia Commons
Categories:
- 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
- Computer specialist stubs