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]
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]
