Richard Bird (informatyk)

Richard Simpson Ptak
Profesor Richard S. Bird
Urodzić się	( 13.02.1943 ) 13 lutego 1943 Londyn, Anglia
Zmarł	4 kwietnia 2022 (04.04.2022) (w wieku 79)
Znany z	Projektowanie algorytmów Programowanie funkcyjne Formalizm Birda-Meertensa
Kariera naukowa
Pola	Informatyka
Instytucje	University of Reading University of Oxford
Strona internetowa	web .comlab .ox .ac .uk /oucl /work /richard .bird

Richard Simpson Bird (4 lutego 1943 - 4 kwietnia 2022) był supernumerary Fellow of Computation w Lincoln College , University of Oxford , w Oxford w Anglii i były dyrektor Oxford University Computing Laboratory (obecnie Wydział Informatyki, University of Oxford ).

Zainteresowania badawcze Birda dotyczyły projektowania algorytmów i programowania funkcjonalnego . Był znany jako stały współpracownik Journal of Functional Programming oraz autor Wprowadzenie do programowania funkcyjnego przy użyciu Haskella i innych książek. Jego nazwisko jest związane z formalizmem Birda-Meertensa , rachunkiem do wyprowadzania programów ze specyfikacji w funkcjonalnym stylu programowania.

Wcześniej Bird studiował na Uniwersytecie w Reading .

Był członkiem Międzynarodowej Federacji Przetwarzania Informacji (IFIP) IFIP Working Group 2.1 on Algorithmic Languages ​​and Calculi, która określiła , wspiera i utrzymuje języki programowania ALGOL 60 i ALGOL 68 .

Linki zewnętrzne

• Oficjalna strona internetowa , laboratorium
• Richard S. Bird na serwerze bibliograficznym DBLP
• Media związane z Richardem Birdem (informatykiem) w Wikimedia Commons