Projects
I am currently involved in the following research projects.
Model Checking Agent Programming Languages
(
EPSRC
funded)
Verifying Interoperability Requirements in Pervasive Systems
(
EPSRC
funded)
Logical Verification of Security Protocols
Efficient Deductive Temporal Verification
Engineering Autonomous Space Software
(
EPSRC
funded)
Specification and Verification of Swarm Robotic Systems
Long Term Projects:
2000
;
2008
;
2012
