Стив Шнайдер (ученый-компьютерщик)
Стив Шнайдер | |
|---|---|
| Рожденный | |
| Национальность | Британский |
| Гражданство | Великобритания |
| Альма-матер | Оксфордский университет |
| Известный | Формальные методы , компьютерная безопасность |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Ройал Холлоуэй, Лондонский университет ; Университет Суррея |
| Докторантура | Дж. Майк Рид [1] |
Стив Шнайдер FBCS , CITP — английский компьютерщик и профессор безопасности ученый - . [2] Он является директором Суррейского центра кибербезопасности и заместителем декана (исследования и предпринимательство) Университета Суррея . [3]
Биография
[ редактировать ]Стив Шнайдер учился в Оксфордском университете , поступив в Вычислительную лабораторию Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ), чтобы получить докторскую степень по CSP , которая была присуждена в 1989 году под руководством Майка Рида . [1] [4] Он присоединился к Royal Holloway, Лондонскому университету, в качестве лектора в 1994 году, стал старшим преподавателем в 1999 году и профессором в 2002 году. Он переехал в Университет Суррея в 2004 году и возглавлял факультет компьютерных наук с 2004 по 2010 год. [3]
Шнайдер — эксперт в формальных методах , включая коммуникативные последовательные процессы (CSP) и B-метод , а также в области компьютерной безопасности . [2]
Избранные книги
[ редактировать ]- Шнайдер, Стив (1999). Параллельные системы и системы реального времени: подход CSP . Джон Уайли .
- Райан, Питер Ю.А.; Шнайдер, Стив; Голдсмит, Майкл; Лоу, Гэвин; Роско, Билл (2000). Моделирование и анализ протоколов безопасности . Образование Пирсона .
- Шнайдер, Стив (2001). B-метод: введение . Краеугольные камни информатики. Пэлгрейв . ISBN 0-333-79284-Х .
Ссылки
[ редактировать ]- ^ Jump up to: а б Стив Шнайдер в проекте «Математическая генеалогия»
- ^ Jump up to: а б «Стив Шнайдер» . Королевское общество . Проверено 9 декабря 2016 г.
- ^ Jump up to: а б «Факультет назначает нового заместителя декана (исследования и предпринимательство)» . Новости и возможности . Великобритания: Университет Суррея . Проверено 9 декабря 2016 г.
- ^ Шнайдер, Стивен А. (1989), «Правильность и коммуникация в системах реального времени», докторская диссертация , Великобритания: Оксфордский университет.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Выпускники Оксфордского университета
- Члены кафедры компьютерных наук Оксфордского университета
- Академики Ройал Холлоуэй, Лондонский университет
- Академики Университета Суррея
- английские ученые-компьютерщики
- Формальные методы люди
- Писатели по информатике
- Британские авторы учебников
- Члены Британского компьютерного общества
- Преподаватели компьютерной безопасности