Гордон, Эндрю Д.
Эндрю Д. Гордон
- Место рождения
- Великобритания
- Род деятельности
- информатика
- Сайт
- www.cogna.co
Эндрю Д. Гордон (англ. Andrew D. Gordon; [Нет даты!]) — британский учёный в области информатики. Известен как один из создателей Concurrent Haskell, Spi-исчисления и ambient calculus. Занимает должность главного научного сотрудника в компании по синтезу программного обеспечения Cogna[1] и работает в Кембриджском университете.
Биография[править]
В 1992 году Гордон получил степень доктора философии в Кембриджском университете. До 1997 года работал научным сотрудником в Компьютерной лаборатории Кембриджского университета. Затем перешёл в лабораторию Microsoft Research в Кембридже, где занимал должность ведущего исследователя в группе принципов и инструментов программирования[2]. Также является профессором Эдинбургского университета. Ранее работал в Microsoft Research. В сферу его научных интересов входят проектирование языков программирования, формальные методы, параллельные вычисления, криптография и управление доступом.
Исследования[править]
Гордон является одним из разработчиков Concurrent Haskell — расширения функционального языка программирования Haskell. Это расширение добавило явные примитивные типы данных для параллельных вычислений и впоследствии стало библиотекой Control.Concurrent в составе Glasgow Haskell Compiler. Совместно с Мартином Абади он разработал Spi-исчисление — расширение π-исчисления для формализованного рассуждения о криптографических системах. Вместе с Лукой Карделли Гордон изобрёл ambient calculus для рассуждений о мобильном коде. В сотрудничестве с Морицем Й. Беккером и Седриком Фурне он также создал SecPAL — язык спецификаций Microsoft для политик управления доступом.
Награды и почести[править]
Докторская диссертация Гордона «Функциональное программирование и ввод-вывод» (англ. Functional programming and input/output) в 1993 году была удостоена премии за выдающуюся диссертацию от Британского компьютерного общества[3]. Его совместная с Лукой Карделли статья 2000 года об ambient calculus «В любое время, в любом месте: модальные логики для мобильных окружений» (англ. Anytime, Anywhere: Modal Logics for Mobile Ambients) получила премию SIGPLAN за самую влиятельную статью POPL в 2010 году[4].
Примечания[править]
- ↑ Precision software defined by you, delivered by AI. Cogna, Ltd. (2024). Проверено 3 июня 2026.
- ↑ Programming, Principles, and Tools Group. Microsoft Research. Проверено 3 июня 2026.
- ↑ Department of Computer Science and Technology – Awards and honours. Кембриджский университет (2012–2024). Проверено 3 июня 2026.
- ↑ Most Influential POPL Paper Award. Ассоциация вычислительной техники (1993–2014). Архивировано из первоисточника 2 августа 2009. Проверено 3 июня 2026.
Ссылки[править]
- cogna.co — официальный сайт «Гордон, Эндрю Д.»
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Гордон, Эндрю Д.», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|