Richard Bird (computer scientist): Difference between revisions
Content deleted Content added
Jerryobject (talk | contribs) m WP:LINKs: updates, fix-cut needless WP:PIPEs = WP:NOPIPE WP:EASTEREGGs for WP:LEAST surprise. Template:Commons category inline update > Template:Commons category-inline. |
Jerryobject (talk | contribs) Template:Infobox scientist add, parameters fill. |
||
| Line 1: | Line 1: | ||
{{Use dmy dates|date=April 2018}} |
{{Use dmy dates|date=April 2018}} |
||
{{Use British English|date=April 2018}} |
{{Use British English|date=April 2018}} |
||
{{Infobox scientist |
|||
[[File:RichardSBird.JPG|thumb|upright|Richard S. Bird.]] |
|||
| honorific_prefix = [[Emeritus]] Professor |
|||
| name = Richard Simpson Bird |
|||
| honorific_suffix = [[Doctor of Philosophy|Ph.D.]] |
|||
| native_name = |
|||
| native_name_lang = |
|||
| image = RichardSBird.JPG |
|||
| alt = Head photograph of a smiling older white male with short grey hair and glasses |
|||
| caption = Professor Richard S. Bird |
|||
| birth_name = <!-- if different from "name" --> |
|||
| birth_date = {{birth year and age|1943}}<!-- If known, add |mm|dd --> |
|||
| birth_place = [[London]], [[England]] |
|||
| death_date = <!--{{death date and age |202y|mm|dd |1943|mm|dd}} (death date then birth date)--> |
|||
| death_place = |
|||
| death_cause = |
|||
| resting_place = |
|||
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}--> |
|||
| home_town = |
|||
| other_names = |
|||
| pronounce = |
|||
| residence = |
|||
| citizenship = [[United Kingdom]] |
|||
| fields = [[Computer science]] |
|||
| workplaces = [[University of Reading]]<br/>[[University of Oxford]] |
|||
| patrons = |
|||
| education = |
|||
| alma_mater = |
|||
| thesis_title = <!-- or | thesis1_title = and | thesis2_title = --> |
|||
| thesis_url = <!-- or | thesis1_url = and | thesis2_url = --> |
|||
| thesis_year = <!-- or | thesis1_year = and | thesis2_year = --> |
|||
| doctoral_advisor = <!-- or | doctoral_advisors = --> |
|||
| academic_advisors = |
|||
| doctoral_students = |
|||
| notable_students = |
|||
| known_for = [[Algorithm]] design<br/>[[Functional programming]]<br/>[[Bird–Meertens formalism]] |
|||
| influences = |
|||
| influenced = |
|||
| awards = |
|||
| author_abbrev_bot = |
|||
| author_abbrev_zoo = |
|||
| spouse = <!--or | spouses = --> |
|||
| partner = <!--or | partners = --> |
|||
| children = |
|||
| signature = <!--Filename only--> |
|||
| signature_alt = |
|||
| website = {{URL|web.comlab.ox.ac.uk/oucl/work/richard.bird}} |
|||
| footnotes = |
|||
}} |
|||
'''Richard Simpson Bird''' (born 1943 in [[London]]) is a [[Fellow#Oxford.2C Cambridge and Dublin|Supernumerary Fellow]] of Computation at [[Lincoln College, Oxford|Lincoln College]], [[University of Oxford]], in [[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 the Oxford University Computing Laboratory (now the [[Department of Computer Science, University of Oxford]]).<ref>[http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], [[Oxford University Computing Laboratory]], UK.</ref> |
'''Richard Simpson Bird''' (born 1943 in [[London]]) is a [[Fellow#Oxford.2C Cambridge and Dublin|Supernumerary Fellow]] of Computation at [[Lincoln College, Oxford|Lincoln College]], [[University of Oxford]], in [[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 the Oxford University Computing Laboratory (now the [[Department of Computer Science, University of Oxford]]).<ref>[http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], [[Oxford University Computing Laboratory]], UK.</ref> |
||
Revision as of 12:35, 29 December 2019
Emeritus Professor Richard Simpson Bird | |
|---|---|
 Professor Richard S. Bird | |
| Born | 1943 (age 81–82) |
| Citizenship | United Kingdom |
| 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 (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
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
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