Джереми Гиббонс
Джереми Гиббонс | |
|---|---|
 Гиббонс в 2023 году | |
| Гражданство | Великобритания Новая Зеландия |
| Образование | Эдинбургский университет ( бакалавр наук , 1987 г.) Оксфордский университет ( доктор философии , 1991 г.) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Окленда Оксфордский университет Брукса Оксфордский университет |
| Диссертация | Алгебры для древовидных алгоритмов (1991) |
| Веб-сайт | www |
Джереми Гиббонс — учёный-компьютерщик и профессор вычислительной техники в Оксфордском университете . [1] Он является заместителем директора программы разработки программного обеспечения на факультете компьютерных наук , членом руководящего совета в колледже Келлогг. [2] [3] и проктор Оксфордского университета. [4]
Академический [ править ]
Профессор Гиббонс получил степень бакалавра наук (бакалавр наук) (с отличием) в области компьютерных наук в Эдинбургском университете (1983–1987) и степень доктора философии (DPhil) в области вычислений в Оксфордском университете (1987–1991). [3]
Прежде чем занять свой нынешний пост, он сначала был преподавателем информатики в Оклендском университете (1991–1996), затем преподавателем и старшим преподавателем вычислительной техники в Оксфордском университете Брукса (1996–1999), а затем читателем по разработке программного обеспечения в Оксфордский университет. [3]
Его исследовательская деятельность включает языки и методы программирования; функциональное программирование; общее программирование; объектная технология; спецификация программы, вывод и преобразование. [3]
Его текущие проекты включают CancerGrid; Общее программирование типов данных; Автоматическая генерация программных компонентов; Рабочий процесс биоинформатики рака. [3]
Его публикации охватывают общее программирование , функциональное программирование , формальные методы , вычислительную биологию , биоинформатику , [5] [6] и «Проектирование алгоритмов на Haskell» в соавторстве с Ричардом Бердом . [7]
Он является членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [8] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [9] С 2009 года является председателем .
Ссылки [ править ]
- ^ «Шесть сотрудников кафедры становятся профессорами» . Кафедра компьютерных наук . Оксфордский университет. 28 июля 2011 года . Проверено 5 августа 2020 г.
- ^ Гиббонс, Джереми. «Джереми Гиббонс» . Кафедра компьютерных наук . Оксфордский университет . Проверено 5 августа 2020 г.
- ^ Jump up to: а б с д и «Программная инженерия в Оксфорде: Джереми Гиббонс» . Кафедра компьютерных наук . Оксфордский университет . Проверено 5 августа 2020 г.
- ^ «Профессор Джереми Гиббонс становится проктором» . Кафедра компьютерных наук . Оксфордский университет. 23 марта 2016 года . Проверено 5 августа 2020 г.
- ^ Гиббонс, Джереми (1 июля 2020 г.). «Джереми Гиббонс: Публикации» . Кафедра компьютерных наук . Оксфордский университет . Проверено 5 августа 2020 г.
- ^ Гиббонс, Джереми (1 сентября 2007 г.). «Джереми Гиббонс: Публикации» . Программа разработки программного обеспечения . Оксфордский университет . Проверено 5 августа 2020 г.
- ^ Бёрд, Ричард ; Гиббонс, Джереми (июль 2020 г.). Проектирование алгоритмов на Haskell . Издательство Кембриджского университета. ISBN 978-1-108-49161-7 .
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 6 сентября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 6 сентября 2020 г.
Внешние ссылки [ править ]
- Официальный сайт , академический
- Паттерны в функциональном программировании - его блог
Алгол -программирование |
|---|
на Хаскеле Программирование |
|---|
- Члены кафедры компьютерных наук Оксфордского университета
- Члены Колледжа Келлог, Оксфорд
- Британские ученые-компьютерщики
- Живые люди
- Преподаватели Оксфордского университета Брукса
- Выпускники Оксфордского университета
- Выпускники Эдинбургского университета
- Академический состав Оклендского университета
- Люди, получившие образование в средней школе Борумюра