Эндрю Д. Гордон - Википедия - Andrew D. Gordon

Эндрю Д. Гордон это Британский специалист в области информатики нанят Microsoft Research. Его исследовательские интересы включают: язык программирования дизайн, формальные методы, параллелизм, криптография, и контроль доступа.

биография

Гордон получил степень доктора философии. от Кембриджский университет в 1992 году. До 1997 года Гордон был научным сотрудником в Компьютерная лаборатория Кембриджского университета. Затем он присоединился к Microsoft Research лаборатории в Кембридже, Англия, где он является главным исследователем группы принципов и инструментов программирования.[1] Он также является профессором Эдинбургский университет.[2]

Исследование

Гордон - один из дизайнеров Параллельный Haskell, а функциональный язык программирования с явными примитивами для параллелизм. Он соавтор с Мартин Абади из spi исчисление, расширение π-исчисление для формализованных рассуждений о криптографических системах.[3] Он и Лука Карделли изобрел окружающее исчисление для рассуждения о мобильный код.[4] Вместе с Морицем Беккером и Седриком Фурне Гордон также разработал SecPAL, а Microsoft язык спецификации за контроль доступа политики.

Награды и награды

Доктор философии Гордона. Тезис, Функциональное программирование и ввод / вывод, выиграл Премию за выдающиеся диссертации 1993 г. Британское компьютерное общество.[5] Его статья 2000 года по предмету окружающего исчисления с Лукой Карделли «В любое время и в любом месте: модальная логика для мобильных окружающих» выиграла в 2010 году СИГПЛАН Премия «Самая влиятельная газета POPL».[6]

Рекомендации

  1. ^ Группа "Программирование, принципы и инструменты", Microsoft Research, дата обращения 02.02.2012.
  2. ^ Профиль факультета, Univ. of Edinburgh, получено 2 февраля 2012 г.
  3. ^ Райан, Питер; Шнайдер, Стив А. (2001), «9.10 Исчисление Spi», Моделирование и анализ протоколов безопасности: подход CSP, Addison-Wesley Professional, стр. 234–235, ISBN  978-0-201-67471-2.
  4. ^ Bergstra, J. A .; Понс, Албан; Смолка, Скотт А. (2001), "4.3.3. Окружающее исчисление", Справочник по алгебре процессов, Elsevier, стр. 1026–1028, ISBN  978-0-444-82830-9.
  5. ^ Выигранные награды, награды, призы и конкурсы, Cambridge Computer Laboratory, дата обращения 02.02.2012.
  6. ^ Награды SIGPLAN В архиве 2009-08-02 в Wayback Machine, получено 01.02.2012.

внешняя ссылка