Steve Schneider (computer scientist)

In today's article we are going to delve into the topic of Steve Schneider (computer scientist), an issue that has generated debate and controversy in recent times. Steve Schneider (computer scientist) is an issue that affects a wide spectrum of society, from professionals in various areas to ordinary people who face challenges related to this issue in their daily lives. In this article we will explore different perspectives and approaches related to Steve Schneider (computer scientist), with the aim of shedding light on its implications and offering a comprehensive view of this issue. Regardless of your level of experience or prior knowledge about Steve Schneider (computer scientist), through this article you will find relevant and valuable information that will allow you to better understand this issue and its possible implications in various areas. Read on to delve into the fascinating and complex world of Steve Schneider (computer scientist)!
For the climatologist, see Stephen Schneider.

Steve Schneider
Born
United Kingdom
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

  • Schneider, Steve (1999). Concurrent and Real Time Systems: the CSP Approach. John Wiley.
  • Ryan, Peter Y.A.; Schneider, Steve; Goldsmith, Michael; Lowe, Gavin; Roscoe, Bill (2000). Modelling and Analysis of Security Protocols. Pearson Education.
  • Schneider, Steve (2001). The B-Method: An Introduction. Cornerstones in Computer Science. Palgrave. ISBN 0-333-79284-X.

References

  1. ^ a b Steve Schneider at the Mathematics Genealogy Project
  2. ^ a b "Steve Schneider". Royal Society. Retrieved 9 December 2016.
  3. ^ a b "Faculty appoints new Associate Dean (Research & Enterprise)". News and Features. UK: University of Surrey. Retrieved 9 December 2016.
  4. ^ Schneider, Steven A. (1989), "Correctness and Communication in Real-Time Systems", D.Phil thesis, UK: University of Oxford
Wikious
Boobota
Sagapedia