|
James Heather |
|
|
Lecturer
|
 |
|
Dept. of Computing, University of Surrey |
|
Guildford |
|
Surrey |
|
UK |
|
GU2 7XH |
 |
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. |
|
|
|
|
Send an e-mail to this Contact:
|
Contacts