Ричард Берд (ученый-компьютерщик)
Ричард Симпсон Берд | |
|---|---|
 Профессор Ричард С. Берд | |
| Рожденный | 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 смертей
- английские ученые-компьютерщики
- Английские писатели научно-популярной литературы
- Писатели по информатике
- Члены кафедры компьютерных наук Оксфордского университета
- Стипендиаты Линкольн-колледжа, Оксфорд
- Академики Университета Рединга
- Исследователи языков программирования
- Формальные методы люди
- Английские писатели научной литературы мужского пола
- Люди, получившие образование в гимназии Святого Олава