Гэвин Лоу (ученый-компьютерщик) - Википедия - Gavin Lowe (computer scientist)

Эта статья про компьютерного ученого. Для игрока в регби см. Гэвин Лоу.
Гэвин Лоу
НациональностьБританский
Альма-матерОксфордский университет
Научная карьера
ПоляИнформатика
УчрежденияОксфордский университет (с 2000 г.)[1]Университет Лестера (до 2000 г.)[2]
ТезисВероятности и приоритеты в синхронизированном CSP  (1993)
ДокторантБилл Роско

Гэвин Лоу британский академик. Он профессор Информатика[3] и научный сотрудник Колледж Святой Екатерины, Оксфорд,[1] профессор в Оксфордский университет,[3] и Президент из Старший общий номер Колледжа Святой Екатерины, Оксфорд.[1] Его исследовательские интересы включают: компьютерная безопасность, для которого он разработал анализ криптографического протокола инструмент Каспер, и параллелизм.

Образование

Лоу учился математика как студент Колледж Святого Иоанна, Оксфорд,[4] затем взял Магистр в вычисление на Оксфордский университет.[1] Он предпринял DPhil в Колледж Святого Хью, Оксфорд,[5] написание диссертации под названием Вероятности и приоритеты в синхронизированном CSP.[5][6] Он опубликовал статью о нападении на Протокол Нидхема – Шредера, а также способ решения проблемы в 1995 году.[7][8] Фиксированная версия протокола, описанная в статье, называется протоколом Нидхема – Шредера – Лоу.[9]

Карьера

Его исследовательские интересы включали компьютерная безопасность, для которого он разработал анализ криптографического протокола инструмент Каспер.[10] Этот инструмент переводит описание протокола безопасности в CSP, который затем обрабатывается FDR средство проверки уточнения. В последнее время он перешел к исследованиям в области параллелизм.[3]

Он был программным сопредседателем Совместного семинара по автоматизированному анализу протоколов безопасности и проблемам теории безопасности в 2010 году.[11]

Лоу - выдающийся учитель, получивший педагогические награды в 2008 году.[12] и 2010.[13][14] Вместе с Питер Милликан, он отвечает за разработку и создание нового совместная степень в Компьютерные науки и философия в Оксфордском университете в 2012 году.[13][15]

Личная жизнь

Лоу наслаждается обрушение.[16] Он был секретарем Пещерный клуб Оксфордского университета с 1988 по 1989 год, и снасти мастер в 1990 году.[4]

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

  1. ^ а б c d "Гэвин Лоу". Колледж Святой Екатерины, Оксфорд. Получено 10 февраля 2018.
  2. ^ «Бывший сотрудник - Лестерский университет». Университет Лестера. Получено 10 февраля 2018.
  3. ^ а б c "Гэвин Лоу". Департамент компьютерных наук Оксфордского университета. Получено 10 февраля 2018.
  4. ^ а б "История Пещерного Клуба OU". www.oucc.org.uk. Получено 11 февраля 2018.
  5. ^ а б Лоу, Гэвин (1994). Вероятности и приоритеты в синхронизированном CSP (DPhil). Оксфордский университет.
  6. ^ "Публикации Гэвина Лоу". Оксфордский университет. Получено 10 февраля 2018.
  7. ^ Лоу, Гэвин (ноябрь 1995 г.). «Атака на протокол аутентификации с открытым ключом Нидхема-Шредера». Письма об обработке информации. 56 (3): 131–136. CiteSeerX  10.1.1.394.6094. Дои:10.1016/0020-0190(95)00144-2. Получено 17 апреля 2008.
  8. ^ «Криптография - это сложно».
  9. ^ Компьютерная безопасность, ESORICS 96: 4-й Европейский симпозиум по исследованиям в области компьютерной безопасности, Рим, Италия, 25–27 сентября 1996 г .: протоколы. Бертино, Элиза. Берлин: Springer. 1996 г. ISBN  9783540617709. OCLC  35364818.CS1 maint: другие (связь)
  10. ^ «Casper: компилятор для анализа протоколов безопасности». Оксфордский университет. Получено 10 февраля 2018.
  11. ^ Армандо, Алессандро; Лоу, Гэвин, ред. (27–28 марта 2010 г.). «Автоматизированное обоснование анализа протокола безопасности и вопросы теории безопасности». Конспект лекций по информатике. Springer. 6186: 185.
  12. ^ «Дополнение (1) к Бюллетеню № 4857» (PDF). Оксфордский университет. 22 октября 2008 г. с. 3. Архивировано из оригинал (PDF) 24 февраля 2018 г.. Получено 11 февраля 2018.
  13. ^ а б "Приложение (1) к Бюллетеню № 4931, том 141" (PDF). Оксфордский университет. 27 октября 2010. с. 1.
  14. ^ «Объявлены победители конкурса Teaching Excellence Awards». Департамент компьютерных наук Оксфордского университета. 5 июля 2010 г.
  15. ^ Элис Лайтон (22 октября 2010 г.). «НОВОСТИ Новая степень: я обрабатываю, значит я». Оксфордский студент.
  16. ^ "Пещерная страница Гэвина Лоу". Получено 10 февраля 2018.