Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Джереми Гиббонс
Джереми Гиббонс.jpg
ГражданствоВеликобритания
ОбразованиеЭдинбургский университет ( бакалавр наук , 1987)
Оксфордский университет ( доктор философии , 1991)
Научная карьера
ПоляИнформатика
УчрежденияОклендский университет
Оксфордский университет Брукс Оксфордский
университет
ТезисАлгебры для древовидных алгоритмов  (1991)
Веб-сайтwww .comlab .ox .ac .uk / Jeremy .gibbons

Джереми Гиббонс - ученый-компьютерщик и профессор вычислительной техники Оксфордского университета . [1] Он является заместителем директора программы разработки программного обеспечения в Департаменте компьютерных наук , членом руководящего совета в Kellogg College [2] [3] и проректором Оксфордского университета. [4]

Академический [ править ]

Профессор Гиббонс получил степень бакалавра наук (BSc) (с отличием) в области компьютерных наук в Эдинбургском университете (1983–1987) и доктора философии (DPhil) в области вычислений в Оксфордском университете (1987–1991). [3]

Перед тем как его нынешний пост, он был, во- первых, преподаватель в области компьютерных наук , Университет Окленда (1991-1996), следующий, преподаватель и старший преподаватель кафедры вычислительной техники, Oxford Brookes University (1996-1999), а затем читателя в программной инженерии в Оксфордский университет. [3]

Его исследовательская деятельность включает языки и методы программирования; функциональное программирование; общее программирование; объектная технология; спецификация, вывод и преобразование программ. [3]

Его текущие проекты включают CancerGrid; Типовое программирование; Автоматическая генерация программных компонентов; Рабочий процесс для биоинформатики рака. [3]

Его публикации охватывают общее программирование , функциональное программирование , формальные методы , вычислительную биологию и биоинформатику . [5] [6]

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

Ссылки [ править ]

  1. ^ «Шесть членов кафедры становятся профессорами» . Департамент компьютерных наук . Оксфордский университет. 28 июля 2011 . Дата обращения 5 августа 2020 .
  2. ^ Гиббонс, Джереми. «Джереми Гиббонс» . Департамент компьютерных наук . Оксфордский университет . Дата обращения 5 августа 2020 .
  3. ^ a b c d e "Разработка программного обеспечения в Оксфорде: Джереми Гиббонс" . Департамент компьютерных наук . Оксфордский университет . Дата обращения 5 августа 2020 .
  4. ^ "Профессор Джереми Гиббонс становится Pro-Proctor" . Департамент компьютерных наук . Оксфордский университет. 23 марта 2016 . Дата обращения 5 августа 2020 .
  5. ↑ Гиббонс, Джереми (1 июля 2020 г.). «Джереми Гиббонс: публикации» . Департамент компьютерных наук . Оксфордский университет . Дата обращения 5 августа 2020 .
  6. ^ Гиббонс, Джереми (1 сентября 2007 г.). «Джереми Гиббонс: публикации» . Программа программной инженерии . Оксфордский университет . Дата обращения 5 августа 2020 .
  7. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Дата обращения 6 сентября 2020 .
  8. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Дата обращения 6 сентября 2020 .

Внешние ссылки [ править ]

  • Официальный сайт , академический
  • Паттерны в функциональном программировании - его блог