I am a Senior Lecturer in the School of Computer Science and Mathematics at Liverpool John Moores University, UK. I am currently working on the Future AI and Robotics for Space (FAIR-SPACE) and Offshore Robotics for Certification of Assets (ORCA) RAI hubs, both of which are funded by EPSRC. I am a member of the following groups, labs and centres:
My research interests include:
My previous projects include Science of Sensor Systems Software (S4), Trustworthy Robotic Assistants, the Virtual Engineering Centre, and Model Checking Agent Programming Languages. Before those I did a Ph.D. on formal modelling and verification, computer viruses and artificial life (thesis available in PDF).
A list of my papers and publications can be found here.