|
I am a research associate in the Department of Computer Science, at the University
of York, currently working on formalizing the time band model which is used
in the analysis of dependable socio-technical systems.
I got my PhD degree at the University of Surrey in 2006 and my research experience
has been mostly concentrated on the application of formal methods to model
and verify security protocols. This has largely been conducted by embedding
the semantics of CSP into the PVS theorem prover so as to analyse various
properties of security protocols with unbound size.
Webpage
| 
