Steve Schneider (datavetare)

För klimatologen, se Stephen Schneider .

Steve Schneider
Född	Storbritannien
Nationalitet	brittisk
Medborgarskap	Storbritannien
Alma mater	Oxfords universitet
Känd för	Formella metoder , datorsäkerhet
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Royal Holloway, University of London ; University of Surrey
Doktorand rådgivare	G. Mike Reed

Steve Schneider FBCS , CITP är en engelsk datavetare och professor i säkerhet . Han är chef för Surrey Center for Cyber ​​Security och Associate Dean (Research and Enterprise) vid University of Surrey .

Biografi

Steve Schneider studerade vid Oxford University och gick med i Oxford University Computing Laboratory (numera Oxford University Department of Computer Science ) för att studera för en doktorsexamen i CSP , som tilldelades 1989, övervakad av Mike Reed . Han började på Royal Holloway, University of London som föreläsare 1994, blev universitetslektor 1999 och professor 2002. Han flyttade till University of Surrey 2004 och var chef för institutionen för datavetenskap från 2004 till 2010.

Schneider är expert på formella metoder , inklusive kommunicerande sekventiella processer (CSP) och B-metoden , och datorsäkerhet .

Utvalda böcker

• Schneider, Steve (1999). Samtidiga och realtidssystem: CSP-metoden] . John Wiley .
• Ryan, Peter YA; Schneider, Steve; Guldsmed, Michael; Lowe, Gavin; Roscoe, Bill (2000). Modellering och analys av säkerhetsprotokoll . Pearson utbildning .
•   Schneider, Steve (2001). B-metoden: en introduktion . Hörnstenar i datavetenskap. Palgrave . ISBN 0-333-79284-X .

externa länkar

• Steve Schneiders hemsida för University of Surrey