Projects
I am currently involved in the following research projects.
Science of Sensor System Software
(
EPSRC
funded, from 2016 to 2020)
Network on the Verification and Validation of Autonomous Systems
(
EPSRC
funded, from 2015 to 2018)
Verifiable Autonomy
(
EPSRC
funded, from 2014 to 2018)
Trustworthy Robotics Assistants
(
EPSRC
funded, from 2013 to 2016)
Reconfigurable Autonomy
(
EPSRC
funded, from 2012 to 2016)
Logical Verification of Security Protocols
Efficient Deductive Temporal Verification
Specification and Verification of Swarm Robotic Systems
Verifying Interoperability Requirements in Pervasive Systems
(
EPSRC
funded, from 2008 to 2013)
Engineering Autonomous Space Software
(
EPSRC
funded, from 2008 to 2012)
Model Checking Agent Programming Languages
(
EPSRC
funded, from 2006 to 2009)
Long Term Projects:
2000
;
2008
;
2012