Эндрю Д. Гордон
Эндрю Д. Гордон — британский ученый-компьютерщик, ранее работавший в Microsoft Research . Его исследовательские интересы включают проектирование языков программирования , формальные методы , параллелизм , криптографию и контроль доступа .
Биография
[ редактировать ]Гордон получил докторскую степень. из Кембриджского университета в 1992 году. До 1997 года Гордон был научным сотрудником в компьютерной лаборатории Кембриджского университета . Затем он присоединился к исследовательской лаборатории Microsoft в Кембридже, Англия, где был главным научным сотрудником группы принципов и инструментов программирования. [1] Он также занимает должность профессора в Эдинбургском университете . [2]
Исследовать
[ редактировать ]Гордон — один из разработчиков Concurrent Haskell , функционального языка программирования с явными примитивами для параллелизма . он является соавтором Вместе с Мартином Абади , spi-исчисления расширения π-исчисления для формализованных рассуждений о криптографических системах. [3] Он и Лука Карделли изобрели эмбиентное исчисление для рассуждений о мобильном коде . [4] Совместно с Морицем Ю. Беккером и Седриком Фурне Гордон также разработал SecPAL , Microsoft язык спецификаций для политик контроля доступа .
Награды и почести
[ редактировать ]Доктор философии Гордона. диссертация «Функциональное программирование и ввод-вывод » получила в 1993 году премию Британского компьютерного общества за выдающуюся диссертацию . [5] Его статья 2000 года по теме эмбиентного исчисления с Лукой Карделли «В любое время, в любом месте: модальная логика для мобильной среды» получила награду SIGPLAN Most Influential POPL Paper Award в 2010 году. [6]
Ссылки
[ редактировать ]- ^ Группа «Программирование, принципы и инструменты» , Microsoft Research, по состоянию на 2 февраля 2012 г.
- ^ Профиль факультета , Univ. Эдинбурга, получено 2 февраля 2012 г.
- ^ Райан, Питер; Шнайдер, Стив А. (2001), «Исчисление 9.10 Spi», Моделирование и анализ протоколов безопасности: подход CSP , Addison-Wesley Professional, стр. 234–235, ISBN 978-0-201-67471-2 .
- ^ Бергстра, Дж.А.; Понсе, Альбан; Смолка, Скотт А. (2001), «4.3.3. Объемное исчисление», Справочник по алгебре процессов , Elsevier, стр. 1026–1028, ISBN 978-0-444-82830-9 .
- ^ Награды, почести, призы и выигранные конкурсы , Кембриджская компьютерная лаборатория, по состоянию на 2 февраля 2012 г.
- ↑ Награды SIGPLAN . Архивировано 2 августа 2009 г. на Wayback Machine , получено 1 февраля 2012 г.
Внешние ссылки
[ редактировать ]- Официальный сайт Microsoft Research
- Публикации Эндрю Д. Гордона , проиндексированные Google Scholar
на Хаскеле Программирование |
|---|
