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.


Dr. Matt Webster
School of Computer Science and Mathematics
Liverpool John Moores University
Liverpool, L2 2QP
United Kingdom