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. 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. Schneider is an expert in
formal methods, including
Communicating Sequential Processes (CSP) and the
B-Method, and
computer security. ==Selected books==