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