Ричард Берд (ученый-компьютерщик)
Ричард Симпсон Берд | |
---|---|
Профессор Ричард С. Берд | |
Рожденный | Лондон, Англия | 13 февраля 1943 г.
Умер | 4 апреля 2022 г. | (79 лет)
Известный | алгоритма Разработка Функциональное программирование Формализм Бёрда – Меертенса |
Научная карьера | |
Поля | Информатика |
Учреждения | Университет Рединга Оксфордский университет |
Веб-сайт | www |
Ричард Симпсон Берд (4 февраля 1943 г. - 4 апреля 2022 г.) [1] был английским ученым-компьютерщиком .
Сообщения [ править ]
Он был внештатным научным сотрудником по вычислительной технике в Линкольн - колледже Оксфордского университета в Оксфорде , Англия . [2] и бывший директор вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ). [3] Раньше Бёрд учился в Университете Рединга .
Научные интересы [ править ]
Исследовательские интересы Берда лежали в разработке алгоритмов и функциональном программировании , и он был известен как постоянный автор статей в журнале функционального программирования , а также как автор нескольких книг, пропагандирующих использование языка программирования Haskell , в том числе « Введение в функциональное программирование с использованием Haskell» , [4] Мыслить функционально с помощью Haskell , [5] Разработка алгоритмов на Haskell в соавторстве с Джереми Гиббонсом , [6] и другие книги по смежным темам. [7] [8] Его имя связано с формализмом Бёрда-Меертенса , исчислением для получения программ на основе спецификаций в стиле функционального программирования.
Другая организационная принадлежность
Он был членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [9] который определил , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [10]
Ссылки [ править ]
- ^ «Профессор Ричард Берд (4 февраля 1943 г. - 4 апреля 2022 г.)» . Новости колледжа . Оксфордский университет. 20 апреля 2022 г.
- ^ и сотрудники Члены Линкольн-колледжа, Оксфорд , Великобритания.
- ^ Ричард Берд , Вычислительная лаборатория Оксфордского университета , Великобритания.
- ^ Берд, Ричард (1998). Введение в функциональное программирование с использованием Haskell (2-е изд.). Прентис Холл Пресс. ISBN 978-0-13-484346-9 .
- ^ Берд, Ричард (2014). Функциональное мышление с помощью Haskell . Издательство Кембриджского университета. ISBN 978-1-107-45264-0 .
- ^ Берд, Ричард; Гиббонс, Джереми (июль 2020 г.). Проектирование алгоритмов на Haskell . Издательство Кембриджского университета. ISBN 978-1-108-49161-7 .
- ^ Берд, Ричард (1972–2006). «Публикации» . Вычислительная лаборатория Оксфордского университета . Великобритания.
- ^ Берд, Ричард (2021). «Ричард Бёрд» . Факультет компьютерных наук Оксфордского университета . Великобритания.
- ^ Юринг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 10 сентября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 10 сентября 2020 г.
Внешние ссылки [ править ]
- Официальный сайт , лаборатория
- Ричард С. Берд на DBLP библиографическом сервере
СМИ, связанные с Ричардом Бердом (ученым-компьютерщиком) , на Викискладе?
- 1943 года рождения
- 2022 смертей
- английские ученые-компьютерщики
- Английские писатели научно-популярной литературы
- Писатели по информатике
- Члены кафедры компьютерных наук Оксфордского университета
- Стипендиаты Линкольн-колледжа, Оксфорд
- Академики Университета Рединга
- Исследователи языков программирования
- Формальные методы люди
- Английские писатели научной литературы мужского пола
- Люди, получившие образование в гимназии Святого Олава