Richard Bird (computer scientist)
{{Short description|English computer scientist (1943–2022)}}
{{Use dmy dates|date=April 2018}}
{{Use British English|date=April 2018}}
{{Infobox scientist
| name = Richard Simpson Bird
| image = RichardSBird.JPG
| alt = Head photograph of an older white male smiling, with short grey hair and glasses
| caption = Professor Richard S. Bird
| birth_name =
| birth_date = {{birth date|1943|02|13|df=y}}
| birth_place = London, England
| death_date = {{death date and age |2022|04|04|1943|02|13|df=y}}
| death_place =
| fields = Computer science
| workplaces = University of Reading
University of Oxford
| patrons =
| education =
| thesis_title =
| thesis_url =
| thesis_year =
| doctoral_advisor =
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = Algorithm design
Functional programming
Bird–Meertens formalism
| influences =
| influenced =
| awards =
| spouse =
| children =
| signature =
| signature_alt =
| website = {{URL|www.cs.ox.ac.uk/people/richard.bird}}
| footnotes =
}}
Richard Simpson Bird (13 February 1943 – 4 April 2022){{Cite news |author= |date=20 April 2022 |url=https://lincoln.ox.ac.uk/news/professor-richard-bird |title=Professor Richard Bird (13 February 1943 – 4 April 2022) |work=College News |publisher=Oxford University|access-date=2025-04-10}} was an English computer scientist.
Posts
He was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England,[http://www.lincoln.ox.ac.uk/index.php?page=lp-fellows Fellows & Staff], Lincoln College, Oxford, UK. and former director of the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford).[http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html Richard Bird], Oxford University Computing Laboratory, UK. 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,{{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}} Thinking Functionally with Haskell,{{cite book |last=Bird |first=Richard |year=2014 |title=Thinking Functionally with Haskell |publisher=Cambridge University Press |isbn=978-1-107-45264-0}} Algorithm Design with Haskell co-authored with Jeremy Gibbons,{{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}} and other books on related topics.{{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}}{{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}} His name is associated with the Bird–Meertens formalism, a calculus for deriving programs from 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,{{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}} which specified, supports, and maintains the programming languages ALGOL 60 and ALGOL 68.{{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}}
References
{{Reflist}}
External links
- {{Official website|www.cs.ox.ac.uk/people/richard.bird}}, laboratory
- {{DBLP|name=Richard S. Bird}}
- {{Commons category-inline}}
{{ALGOL programming}}
{{Haskell programming}}
{{University of Oxford}}
{{Authority control}}
{{DEFAULTSORT:Bird, Richard}}
Category:English computer scientists
Category:English non-fiction writers
Category:Computer science writers
Category:Members of the Department of Computer Science, University of Oxford
Category:Fellows of Lincoln College, Oxford
Category:Academics of the University of Reading
Category:Programming language researchers
Category:Formal methods people