Mr Jonathan Hoyland

Supervised by

Educational background

Awarded a Masters degree in Computer Science from the University of Oxford. 

Research interests

Model Checking, Verification of Security Protocols, Formal Methods. 

View all (2) »

ID: 17725181