Jump to content

Richard Bird (computer scientist): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Date of death
 
(15 intermediate revisions by 8 users not shown)
Line 1: Line 1:
{{Short description|English computer scientist (1943–2022)}}
{{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
{{Infobox scientist
| name = Richard Simpson Bird
| name = Richard Simpson Bird
| native_name =
| native_name_lang =
| image = RichardSBird.JPG
| image = RichardSBird.JPG
| alt = Head photograph of an older white male smiling, with short grey hair and glasses
| alt = Head photograph of an older white male smiling, with short grey hair and glasses
| caption = Professor Richard S. Bird
| caption = Professor Richard S. Bird
| birth_name = <!-- if different from "name" -->
| birth_name = <!-- if different from "name" -->
| birth_date = {{birth year and age|1943}}<!-- After death, add |mm|dd -->
| birth_date = {{birth date|1943|02|13|df=y}}
| birth_place = [[London]], [[England]]
| birth_place = London, England
| death_date = <!-- {{death date and age |2022|04|04 |1943|mm|dd}} (death date then birth date) -->
| death_date = {{death date and age |2022|04|04|1943|02|13|df=y}}
| death_place =
| 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]]
| fields = [[Computer science]]
| workplaces = [[University of Reading]]<br/>[[University of Oxford]]
| workplaces = [[University of Reading]]<br/>[[University of Oxford]]
| patrons =
| patrons =
| education =
| education =
| alma_mater =
| thesis_title = <!-- or | thesis1_title = and | thesis2_title = -->
| thesis_title = <!-- or | thesis1_title = and | thesis2_title = -->
| thesis_url = <!-- or | thesis1_url = and | thesis2_url = -->
| thesis_url = <!-- or | thesis1_url = and | thesis2_url = -->
Line 41: Line 31:
| signature = <!--Filename only-->
| signature = <!--Filename only-->
| signature_alt =
| signature_alt =
| website = {{URL|web.comlab.ox.ac.uk/oucl/work/richard.bird}}
| website = {{URL|www.cs.ox.ac.uk/people/richard.bird}}
| footnotes =
| footnotes =
}}
}}
'''Richard Simpson Bird''' (4 February 1943 – 4 April 2022)<ref>{{Cite news |author=<!-- Unstated --> |date=20 April 2022 |url=https://lincoln.ox.ac.uk/news/professor-richard-bird |title=Professor Richard Bird (4 February 1943 – 4 April 2022) |work=College News |publisher=Oxford University}}</ref> was an [[English people|English]] [[computer scientist]].
⚫
'''Richard Simpson Bird''' (born 1943 in [[London]], died 4 April 2022) was a [[Fellow#In ancient universities|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>


==Posts==
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.<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 [[Specification (computing)|specifications]] in a functional programming style.
⚫
He was a [[Fellow#In ancient universities|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> Formerly, Bird was at the [[University of Reading]].

Formerly, Bird was at the [[University of Reading]].


==Research interests==
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 as author of several books promoting use of the [[programming language]] [[Haskell]], including ''Introduction to Functional Programming using Haskell'',<ref>{{cite book |last=Bird |first=Richard |year=1998 |title=Introduction to Functional Programming using Haskell |url=http://www.cs.ox.ac.uk/publications/books/functional/ |edition=2nd |publisher=Prentice Hall Press |isbn=978-0-13-484346-9}}</ref> ''Thinking Functionally with Haskell'',<ref>{{cite book |last=Bird |first=Richard |year=2014 |title=Thinking Functionally with Haskell |publisher=Cambridge University Press |isbn=978-1-107-45264-0}}</ref> ''Algorithm Design with Haskell'' co-authored with [[Jeremy Gibbons]],<ref>{{cite book |last1=Bird |first1=Richard |last2=Gibbons |first2=Jeremy |author2-link=Jeremy Gibbons |date=July 2020 |title=Algorithm Design with Haskell |publisher=Cambridge University Press |isbn=978-1-108-49161-7}}</ref> and other books on related topics.<ref>{{cite web |last=Bird |first=Richard |year=1972–2006 |url=https://www.cs.ox.ac.uk/people/richard.bird/publications.html |title=Publications |website=Oxford University Computing Laboratory |location=United Kingdom}}</ref><ref>{{cite web |last=Bird |first=Richard |year=2021 |url=https://www.cs.ox.ac.uk/people/richard.bird/ |title=Richard Bird |website=University of Oxford Department of Computer Science |location=United Kingdom}}</ref> His name is associated with the [[Bird–Meertens formalism]], a [[calculus]] for deriving programs from [[Specification (computing)|specifications]] in a functional programming style.
==Other organisational affilitations==
He was a member of the [[International Federation for Information Processing]] (IFIP) [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi,<ref>{{cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Profile |title=Profile of IFIP Working Group 2.1 |last=Jeuring |first=Johan |last2=Meertens |first2=Lambert |author2-link=Lambert Meertens |last3=Guttmann |first3=Walter |date=2016-08-17 |website=Foswiki |access-date=2020-09-10}}</ref> which [[Specification (technical standard)|specified]], supports, and maintains the [[programming language]]s [[ALGOL 60]] and [[ALGOL 68]].<ref>{{Cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/ScopeEtc |title=ScopeEtc: IFIP21: Foswiki |last=Swierstra |first=Doaitse |last2=Gibbons |first2=Jeremy |author2-link=Jeremy Gibbons |last3=Meertens |first3=Lambert |author3-link=Lambert Meertens |date=2011-03-02 |website=Foswiki |access-date=2020-09-10}}</ref>
He was a member of the [[International Federation for Information Processing]] (IFIP) [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi,<ref>{{cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Profile |title=Profile of IFIP Working Group 2.1 |last=Jeuring |first=Johan |last2=Meertens |first2=Lambert |author2-link=Lambert Meertens |last3=Guttmann |first3=Walter |date=2016-08-17 |website=Foswiki |access-date=2020-09-10}}</ref> which [[Specification (technical standard)|specified]], supports, and maintains the [[programming language]]s [[ALGOL 60]] and [[ALGOL 68]].<ref>{{Cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/ScopeEtc |title=ScopeEtc: IFIP21: Foswiki |last=Swierstra |first=Doaitse |last2=Gibbons |first2=Jeremy |author2-link=Jeremy Gibbons |last3=Meertens |first3=Lambert |author3-link=Lambert Meertens |date=2011-03-02 |website=Foswiki |access-date=2020-09-10}}</ref>


Line 56: Line 48:


== External links ==
== External links ==
* {{Official website|web.comlab.ox.ac.uk/oucl/work/richard.bird}}, laboratory
* {{Official website|www.cs.ox.ac.uk/people/richard.bird}}, laboratory
* {{DBLP|name=Richard S. Bird}}
* {{DBLP|name=Richard S. Bird}}
* {{Commons category-inline}}
* {{Commons category-inline}}


{{ALGOL programming}}
{{Haskell programming}}
{{University of Oxford}}
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Bird, Richard}}
{{DEFAULTSORT:Bird, Richard}}
[[Category:1943 births]]
[[Category:1943 births]]
[[Category:Living people]]
[[Category:2022 deaths]]
[[Category:English computer scientists]]
[[Category:English computer scientists]]
[[Category:English non-fiction writers]]
[[Category:English non-fiction writers]]
Line 74: Line 69:
[[Category:Formal methods people]]
[[Category:Formal methods people]]
[[Category:English male non-fiction writers]]
[[Category:English male non-fiction writers]]
[[Category:People educated at St Olave's Grammar School]]

{{Compu-bio-stub}}

Latest revision as of 09:54, 21 September 2023

Richard Simpson Bird
Head photograph of an older white male smiling, with short grey hair and glasses
Professor Richard S. Bird
Born(1943-02-13)13 February 1943
London, England
Died4 April 2022(2022-04-04) (aged 79)
Known forAlgorithm design
Functional programming
Bird–Meertens formalism
Scientific career
FieldsComputer science
InstitutionsUniversity of Reading
University of Oxford
Websitewww.cs.ox.ac.uk/people/richard.bird

Richard Simpson Bird (4 February 1943 – 4 April 2022)[1] was an English computer scientist.

Posts

[edit]

He was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England,[2] and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford).[3] Formerly, Bird was at the University of Reading.

Research interests

[edit]

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 as author of several books promoting use of the programming language Haskell, including Introduction to Functional Programming using Haskell,[4] Thinking Functionally with Haskell,[5] Algorithm Design with Haskell co-authored with Jeremy Gibbons,[6] and other books on related topics.[7][8] His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from specifications in a functional programming style.

Other organisational affilitations

[edit]

He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[9] which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68.[10]

References

[edit]
  1. ^ "Professor Richard Bird (4 February 1943 – 4 April 2022)". College News. Oxford University. 20 April 2022.
  2. ^ Fellows & Staff, Lincoln College, Oxford, UK.
  3. ^ Richard Bird, Oxford University Computing Laboratory, UK.
  4. ^ Bird, Richard (1998). Introduction to Functional Programming using Haskell (2nd ed.). Prentice Hall Press. ISBN 978-0-13-484346-9.
  5. ^ Bird, Richard (2014). Thinking Functionally with Haskell. Cambridge University Press. ISBN 978-1-107-45264-0.
  6. ^ Bird, Richard; Gibbons, Jeremy (July 2020). Algorithm Design with Haskell. Cambridge University Press. ISBN 978-1-108-49161-7.
  7. ^ Bird, Richard (1972–2006). "Publications". Oxford University Computing Laboratory. United Kingdom.
  8. ^ Bird, Richard (2021). "Richard Bird". University of Oxford Department of Computer Science. United Kingdom.
  9. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
  10. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Richard_Bird_(computer_scientist)&oldid=1176378657"