Войти
Эндрю Д. Гордон - британец компьютерный ученый, работающий в Microsoft Research. Его исследовательские интересы включают язык программирования дизайн, формальные методы, параллелизм, криптографию и контроль доступа.
Гордон получил степень доктора философии. из Кембриджского университета в 1992 году. До 1997 года Гордон был научным сотрудником в компьютерной лаборатории Кембриджского университета. Затем он присоединился к лаборатории Microsoft Research в Кембридже, Англия, где он является главным исследователем в группе принципов и инструментов программирования. Он также является профессором Эдинбургского университета.
Гордон является одним из разработчиков Concurrent Haskell, языка функционального программирования с явные примитивы для параллелизма. Он является со-разработчиком с Мартином Абади из, расширением π-исчисления для формализованных рассуждений о криптографических системах. Он и Лука Карделли изобрели окружающее исчисление для рассуждения о мобильном коде. Вместе с Морицем Беккером и Седриком Фурнетом Гордон также разработал SecPAL, Microsoft язык спецификаций для политик контроля доступа.
Доктор философии Гордона. Диссертация «Функциональное программирование и ввод / вывод» выиграла в 1993 г. награду «Выдающиеся диссертации» Британского компьютерного общества. Его статья 2000 года по предмету окружающего исчисления с Лукой Карделли «В любое время и в любом месте: модальная логика для мобильных окружающих» была удостоена награды SIGPLAN «Самая влиятельная статья POPL» 2010 года.
