stringtranslate.com

Ричард Бёрд (специалист по информатике)

Ричард Симпсон Бёрд (4 февраля 1943 — 4 апреля 2022) [1] — английский учёный-компьютерщик .

Посты

Он был внештатным научным сотрудником по вычислениям в Линкольн - колледже Оксфордского университета в Оксфорде , Англия , [2] и бывшим директором Вычислительной лаборатории Оксфордского университета (ныне кафедра компьютерных наук Оксфордского университета ). [3] Ранее Берд работал в Университете Рединга .

Научные интересы

Научные интересы Берда лежали в области разработки алгоритмов и функционального программирования , и он был известен как постоянный автор журнала Journal of Functional Programming , а также как автор нескольких книг, пропагандирующих использование языка программирования Haskell , включая Introduction to Functional Programming using Haskell , [4] Thinking Functionally with Haskell , [5] Algorithm Design with Haskell в соавторстве с Джереми Гиббонсом , [6] и других книг по смежным темам. [7] [8] Его имя связано с формализмом Берда–Меертенса , исчислением для вывода программ из спецификаций в стиле функционального программирования.

Другие организационные принадлежности

Он был членом рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям Международной федерации по обработке информации (IFIP) , [9] которая специфицировала , поддерживала и обслуживала языки программирования ALGOL 60 и ALGOL 68. [ 10]

Ссылки

  1. ^ "Профессор Ричард Берд (4 февраля 1943 г. – 4 апреля 2022 г.)". College News . Оксфордский университет. 20 апреля 2022 г.
  2. ^ Сотрудники и сотрудники Линкольн-колледжа, Оксфорд , Великобритания.
  3. ^ Ричард Берд, Вычислительная лаборатория Оксфордского университета , Великобритания.
  4. ^ Берд, Ричард (1998). Введение в функциональное программирование с использованием Haskell (2-е изд.). Prentice Hall Press. ISBN 978-0-13-484346-9.
  5. ^ Берд, Ричард (2014). Thinking Functionally with Haskell . Cambridge University Press. ISBN 978-1-107-45264-0.
  6. ^ Берд, Ричард; Гиббонс, Джереми (июль 2020 г.). Разработка алгоритмов с помощью Haskell . Cambridge University Press. ISBN 978-1-108-49161-7.
  7. ^ Берд, Ричард (1972–2006). «Публикации». Вычислительная лаборатория Оксфордского университета . Соединенное Королевство.
  8. ^ Берд, Ричард (2021). «Ричард Берд». Оксфордский университет, кафедра компьютерных наук . Соединенное Королевство.
  9. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 10 сентября 2020 г.
  10. ^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: ИФИП21: Фосвики». Фосвики . Проверено 10 сентября 2020 г.

Внешние ссылки