Richard Bird (computer scientist): Difference between revisions
Appearance
Content deleted Content added
m Template improved using AWB |
m Added the {{Authority control}} template with VIAF number 69031465: http://viaf.org/viaf/69031465 . Please report any errors. |
||
Line 13: | Line 13: | ||
* {{DBLP|id=Bird:Richard_S=}} |
* {{DBLP|id=Bird:Richard_S=}} |
||
{{Authority control|VIAF=69031465}} |
|||
{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. --> |
{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. --> |
||
| NAME = Bird, Richard |
| NAME = Bird, Richard |
Revision as of 08:34, 13 November 2012
Prof. Richard Simpson Bird (born 1943, London) is a Supernumerary Fellow of Computation at Lincoln College, Oxford, England,[1] and former director of Oxford University Computing Laboratory.[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.
Previously 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
- Laboratory home page
- Richard Bird at DBLP Bibliography Server
Categories:
- 1943 births
- Living people
- English computer scientists
- English non-fiction writers
- Computer science writers
- Members of IFIP Working Group 2.1
- Members of Oxford University Computing Laboratory
- Fellows of Lincoln College, Oxford
- Academics of the University of Reading
- Programming language researchers
- Formal methods people
- Computer specialist stubs