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.
Peter Ryan
Peter Ryan is a Professor in the CSR, University of Newcastle and he is the advisor of The Prêt-à-Voter Battle Bus.
Prior to joining the CSR, he conducted research in formal methods and information assurance at GCHQ, CESG, DERA, SRI Cambridge, the Norwegian Computing Centre Oslo and the Software Engineering Institute, Carnegie Mellon University. Before migrating into information assurance he was a theoretical physicist and holds a BSc in Theoretical Physics and a PhD in Mathematical Physics from the University of London for research in quantum gravity.
Recently he has been active in the area of cryptographic voting schemes, in particular developing the Prêt à Voter scheme. He has co-chaired several worskhops in this area, notably WOTE 2006: http://www.wote2006.org/
James Heather
James Heather is a Lecturer in Computing at the University of Surrey, and an active researcher in E-voting and Formal Methods.
Most of his research has been in the field of security. Initially this concentrated on the application of formal methods to verification of security protocols running in unbounded networks; more recently much of the effort has been directed towards electronic voting, and in particular developing and improving upon the Prêt à Voter scheme. He has also conducted non-security-related research into the process algebra CSP.
He holds a BSc in Maths and Computation and an MSc in Computation from the University of Oxford, and a PhD in Computer Science from Royal Holloway, University of London.
He is half way towards becoming an eccentric genius.
Roger Peel
Roger Peel is ...
David Lundin
David Lundin has a BSc in Computing and Information Technology and an MSc in Internet Computing from the University of Surrey where he is currently working towards a PhD in Electronic Voting.
Phil Howard
Phil Howard is ...
Zhe Xia
Zhe Xia has been a PhD student in the Department of Computing, University of Surrey since October 2005. He is a member in the Pret-a-Voter Battle Bus.
His current research interest is electronic voting protocols, especially the Prêt à Voter system. Besides, he is interested in some cryptographic techniques, such as zero-knowledge proof, multi-party computation and mix networks.
