Matt Webster > Home

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:

• Research Centre for Critical Infrastructure Computer Technology and Protection (PROTECT).
• Robotics and Autonomous Systems group.
• Centre for Autonomous Systems Technology.
• Autonomy and Verification Network.
• Virtual Engineering Centre, STFC Daresbury Laboratory.

My research interests include:

• Software engineering and formal methods, including model checking, formal semantics of programming languages.
• Robotics and autonomous systems: unmanned vehicles, robot assistants, AI, multi-agent systems, simulation, ROS.
• Critical systems: verification, validation, certification, regulatory issues.
• Wireless sensor networks (WSN) and the Internet of Things (IoT).
• Computer security and computer virology.
• Formal modelling of biocomputational systems and artificial life.

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.