Biography:Steve Schneider (computer scientist)

From HandWiki
Short description: English computer scientist
Steve Schneider
Born
NationalityBritish
CitizenshipUnited Kingdom
Alma materUniversity of Oxford
Known forFormal methods, computer security
Scientific career
FieldsComputer science
InstitutionsRoyal Holloway, University of London; University of Surrey
Doctoral advisorG. Mike Reed[1]

Steve Schneider FBCS, CITP is an English computer scientist and Professor of Security.[2] He is Director of the Surrey Centre for Cyber Security and Associate Dean (Research and Enterprise) at the University of Surrey.[3]

Biography

Steve Schneider studied at Oxford University, joining the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) to study for a Doctorate on CSP, which was awarded in 1989, supervised by Mike Reed.[1][4] He joined Royal Holloway, University of London as a lecturer in 1994, becoming a senior lecturer in 1999 and a professor in 2002. He moved to the University of Surrey in 2004, and was head of the Department of Computer Science from 2004 until 2010.[3]

Schneider is an expert in formal methods, including Communicating Sequential Processes (CSP) and the B-Method, and computer security.[2]

Selected books

References

  1. 1.0 1.1 Steve Schneider at the Mathematics Genealogy Project
  2. 2.0 2.1 "Steve Schneider". Royal Society. https://royalsociety.org/people/steve-schneider-10476/. Retrieved 9 December 2016. 
  3. 3.0 3.1 "Faculty appoints new Associate Dean (Research & Enterprise)". News and Features. UK: University of Surrey. http://www.surrey.ac.uk/features/faculty-appoints-new-associate-dean-research-enterprise. Retrieved 9 December 2016. 
  4. Schneider, Steven A. (1989), "Correctness and Communication in Real-Time Systems", D.Phil thesis (UK: University of Oxford) 

External links