Steve Schneider (computer scientist)

Steve Schneider
Born United Kingdom
Residence England
Citizenship United Kingdom
Nationality British
Fields Computer science
Institutions Royal Holloway, University of London; University of Surrey
Alma mater University of Oxford
Doctoral advisor G. Mike Reed[1]
Doctoral students Helen Treharne[1]
Known for Formal methods, computer security

Prof. 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] After working as a lecturer at Royal Holloway, University of London, he became a professor at the University of Surrey in 2004, acting as the head of the Department of Computer Science 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 2 3 Steve Schneider at the Mathematics Genealogy Project
  2. 1 2 "Steve Schneider". Royal Society. Retrieved 9 December 2016.
  3. 1 2 "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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.