I am a postdoctoral Research Associate in the Department of Computer Science at the University of Liverpool. 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:

  • Robotics: aviation and space, robot assistants, autonomy, verification, simulation, ROS.
  • Autonomous systems, artificial intelligence, multi-agent systems.
  • Formal methods, including model checking, formal semantics of programming languages.
  • Unmanned vehicles: autonomy, certification, networked simulation.
  • Computer security and computer virology.
  • Wireless sensor networks (WSN) and the Internet of Things (IoT).
  • Model checking agent programming languages.
  • 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.


Dr. Matt Webster
Department of Computer Science
University of Liverpool
Liverpool, L69 3BX
United Kingdom
Email: matt@liverpool.ac.uk