Richard Bird (computer scientist): Difference between revisions
Appearance
Content deleted Content added
No edit summary |
Updated bio to reflect the fact that RSB has retired, and updated/removed dead college web links |
||
Line 1: | Line 1: | ||
[[Image:RichardSBird.JPG|thumb|upright|Richard S. Bird.]] |
[[Image:RichardSBird.JPG|thumb|upright|Richard S. Bird.]] |
||
Prof. '''Richard Simpson Bird''' (born 1943, [[London]]) is a [[Fellow]] of Computation at [[Lincoln College, Oxford|Lincoln College]], [[University of Oxford|Oxford]], [[England]],<ref>[http://www.lincoln.ox.ac.uk/ |
Prof. '''Richard Simpson Bird''' (born 1943, [[London]]) is a [[Fellow#Oxford.2C_Cambridge_and_Dublin|Supernumerary Fellow]] of Computation at [[Lincoln College, Oxford|Lincoln College]], [[University of Oxford|Oxford]], [[England]],<ref>[http://www.lincoln.ox.ac.uk/index.php?page=lp-fellows Fellows & Staff], [[Lincoln College, Oxford]], UK.</ref> and former director of [[Oxford University Computing Laboratory]].<ref>[http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], [[Oxford University Computing Laboratory]], UK.</ref> |
||
Bird's research interests lie in [[Algorithm|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.<ref>[http://web.comlab.ox.ac.uk/oucl/work/richard.bird/publications.html Publications], [http://web.comlab.ox.ac.uk/oucl/work/richard.bird/ Richard Bird], Oxford University Computing Laboratory, UK.</ref> His name is associated with the [[Bird-Meertens Formalism]], a calculus for deriving programs from specifications in a functional programming style. |
Bird's research interests lie in [[Algorithm|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.<ref>[http://web.comlab.ox.ac.uk/oucl/work/richard.bird/publications.html Publications], [http://web.comlab.ox.ac.uk/oucl/work/richard.bird/ Richard Bird], Oxford University Computing Laboratory, UK.</ref> His name is associated with the [[Bird-Meertens Formalism]], a calculus for deriving programs from specifications in a functional programming style. |
||
Line 10: | Line 10: | ||
==External links== |
==External links== |
||
* [http://www.lincoln.ox.ac.uk/fellows/bird/ College home page] |
|||
* [http://web.comlab.ox.ac.uk/oucl/work/richard.bird/ Laboratory home page] |
* [http://web.comlab.ox.ac.uk/oucl/work/richard.bird/ Laboratory home page] |
||
* {{dblp name|name=Richard S. Bird|id=b/Bird:Richard_S=}} |
* {{dblp name|name=Richard S. Bird|id=b/Bird:Richard_S=}} |
Revision as of 20:01, 17 April 2011
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
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