Dr David Williams

Research Interests

His research interests include protocol verification, process algebra, formal methods, distributed systems, concurrency, cyber security, trusted execution environments and federated identity management.

Teaching

  • COM3017/COMM037 - Information Security Management (2016/17)

Contact Me

E-mail:
Phone: 01483 68 2646

Find me on campus
Room: 16 BB 02

Page Owner: dw0029
Page Created: Thursday 5 May 2016 18:33:29 by sl0022
Last Modified: Wednesday 8 February 2017 13:52:13 by cd0027
Expiry Date: Saturday 5 August 2017 18:31:09
Assembly date: Wed Nov 22 00:50:57 GMT 2017
Content ID: 163093
Revision: 5
Community: 1028

Rhythmyx folder: //Sites/surrey.ac.uk/computing/research/secure_systems/people
Content type: rx:StaffProfile