Стив Шнайдер (компьютертанушы) - Steve Schneider (computer scientist)
Стив Шнайдер | |
|---|---|
| Туған | |
| Ұлты | Британдықтар |
| Азаматтық | Біріккен Корольдігі |
| Алма матер | Оксфорд университеті |
| Белгілі | Ресми әдістер, компьютердің қауіпсіздігі |
| Ғылыми мансап | |
| Өрістер | Есептеу техникасы |
| Мекемелер | Royal Holloway, Лондон университеті; Суррей университеті |
| Докторантура кеңесшісі | Дж. Майк Рид[1] |
Проф. Стив Шнайдер FBCS, CITP ағылшын информатик және Профессор туралы Қауіпсіздік.[2] Ол Суррей орталығының директоры Киберқауіпсіздік және Деканның орынбасары (Ғылыми-зерттеу және кәсіпорын) Суррей университеті.[3]
Өмірбаян
Стив Шнайдер оқыған Оксфорд университеті, Оксфорд университетінің есептеу зертханасына қосылу (қазір Оксфорд университетінің компьютерлік ғылымдар бөлімі ) оқуға Докторантура қосулы CSP, ол 1989 жылы марапатталған, жетекшілігімен Майк Рид.[1][4] Ол қосылды Royal Holloway, Лондон университеті 1994 жылы оқытушы, 1999 жылы аға оқытушы және 2002 жылы профессор болды. Ол 2004 жылы Суррей университетіне ауысып, 2004 жылдан 2010 жылға дейін информатика кафедрасының меңгерушісі болды.[3]
Шнайдер - сарапшы формальды әдістер, оның ішінде Кезектес процестерді байланыстыру (CSP) және B әдісі, және компьютердің қауіпсіздігі.[2]
Таңдалған кітаптар
- Шнайдер, Стив (1999). Бір уақытта және нақты уақыт жүйелері: CSP тәсілі],. Джон Вили.
- Райан, Питер Ю.А .; Шнайдер, Стив; Голдсмит, Майкл; Лоу, Гэвин; Розко, Билл (2000). Қауіпсіздік хаттамаларын модельдеу және талдау. Pearson білімі.
- Шнайдер, Стив (2001). B әдісі: кіріспе. Информатика ғылымындағы бұрыштар. Палграв. ISBN 0-333-79284-X.
Әдебиеттер тізімі
- ^ а б Стив Шнайдер кезінде Математика шежіресі жобасы
- ^ а б «Стив Шнайдер». Корольдік қоғам. Алынған 9 желтоқсан 2016.
- ^ а б «Факультет деканның жаңа доцентін тағайындады (Ғылыми-зерттеу және кәсіпкерлік)». Жаңалықтар мен ерекшеліктер. Ұлыбритания: Суррей университеті. Алынған 9 желтоқсан 2016.
- ^ Шнайдер, Стивен А. (1989), «Нақты уақыттағы жүйелердегі дұрыстық және байланыс», Д.Филис тезисі, Ұлыбритания: Оксфорд университеті
