|
Steve Schneider |
|
|
Professor
|
 |
|
Dept. of Computing, University of Surrey |
|
Guildford |
|
Surrey |
|
UK |
|
GU2 7XH |
 |
Steve Schneider is Professor of Computing at the University of Surrey, and is an advisor to the Prêt-à-Voter Battle Bus VoComp entry.
He is interested in secure e-voting schemes and is one of the originators of the 2005 Prêt-a-Voter scheme, in addition to being closely involved in its continued development. Other research interests include formal methods for security, where he was the originator of the `rank function' technique for the verification of security protocols; and process algebraic approaches to non-interference. He also has interests in formal methods for concurrency and time, and in combining state-based and event-based approaches.
Before joining Surrey in 2004 he was at the Department of Computing at Royal Holloway, University of London, for ten years, and he holds a doctorate from Oxford in Timed CSP. |
|
|
|
|
Send an e-mail to this Contact:
|
Contacts