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 |
Doctoral students | Helen Treharne |
Known for | Formal methods, computer security |
Prof. Steve Schneider FBCS, CITP is an English computer scientist and Professor of Security. He is Director of the Surrey Centre for Cyber Security and Associate Dean (Research and Enterprise) at the University of Surrey.
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. 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.
Schneider is an expert in formal methods, including Communicating Sequential Processes (CSP) and the B-Method, and computer security.