Dr Matt Webster is a Senior Lecturer in the School of Computer Science and Mathematics at Liverpool John Moores University, UK. He is currently working with 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. He is a member of the following groups, labs and centres:
- Research Centre for Critical Infrastructure Computer Technology and Protection (PROTECT).
- Applied Computing Research Group.
- Network and Information Security Technology Research Group.
- Autonomy and Verification Network.
- Centre for Autonomous Systems Technology.
- Virtual Engineering Centre, STFC Daresbury Laboratory.
His 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.
A number of funded PhD studentships are available in the School for UK/EU/International students. Please email for more information.
Kurowski M, Babski R, Duncan S, Perrotin M, Webster M. 2021. Model Checking for Formal Verification of Space Systems Model Based Space Systems and Software Engineering (MBSE2021) Publisher Url Public Url
Koeman V, Dennis LA, Webster M, Fisher M, Hindriks K. 2020. The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems Dennis L, Bordini R, Lespérance Y. Engineering Multi-Agent Systems. EMAS 2019, 7th International Conference on Engineering Multi-Agent Systems 12058 :152-172 DOI Publisher Url
Webster M, Dennis LA, Dixon C, Fisher M, Stocker R, Sierhuis M. 2020. Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations 2020 IEEE Aerospace Conference, 2020 IEEE Aerospace Conference DOI
Page V, Webster MP, Fisher M, Jump M. 2019. Towards a Methodology to Test UAVs in Hazardous Environments ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems
Dinmohammadi F, Flynn D, Fisher M, Jump M, Page V, Robu V, Patchett C, Tang W, Webster MP. 2019. Certification of Safe and Trusted Robotic Inspection of Assets https://ieeexplore.ieee.org/document/8603362/, 2018 Prognostics and System Health Management Conference DOI
Zhao X, Robu V, Flynn D, Dinmohammadi F, Fisher M, Webster M, AAAI . 2019. Probabilistic Model Checking of Robots Deployed in Extreme Environments THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, :8066-8074 Publisher Url
Fisher M, Collins E, Dennis L, Luckcuck M, Webster M, Jump M, Page V, Patchett C, Dinmohammadi F, Flynn D, Robu V, Zhao X. 2018. Verifiable Self-Certifying Autonomous Systems 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) DOI
Saunders J, Webster MP, Dixon C, Gainer P, Koay KL, Syrdal D, Fisher M, Dautenhahn K. 2015. End-User Teaching of Robot Behaviours: Detecting Behaviour Interference IEEE Transactions on Human-Machine Systems,
Amirabdollahian F, Dautenhahn K, Dixon C, Eder K, Fisher M, Koay KL, Magid E, Pipe T, Salem M, Saunders J, Webster M. 2013. Can You Trust Your Robotic Assistant? SOCIAL ROBOTICS, ICSR 2013, 8239 :571-573 Author Url Publisher Url
Webster M, Cameron N, Jump M, Fisher M. 2012. Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation Infotech@Aerospace 2012, Infotech@Aerospace 2012 DOI
Cameron N, Webster M, Jump M, Fisher M. 2011. Certification of a Civil UAS: A Virtual Engineering Approach AIAA Modeling and Simulation Technologies Conference, AIAA Modeling and Simulation Technologies Conference DOI
Cooper JE, al E. 2011. Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization Virtual Prototyping of Affordable Military Vehicles Using Advanced MDO :1-28
Webster M, Malcolm G. 2008. Hierarchical components and entity-based modelling in artificial life Artificial Life XI: Proceedings of the 11th International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2008, :678-685
Webster M, Malcolm G. 2007. Reproducer Classification Using the Theory of Affordances 2007 IEEE Symposium on Artificial Life, The First IEEE Symposium on Artificial Life. IEEE-ALife’07 DOI
Farrell M, Cardoso RC, Dennis LA, Dixon C, Fisher M, Kourtis G, Lisitsa A, Luckcuck M, Webster M. Modular Verification of Autonomous Space Robotics Publisher Url
Webster MP, Breza M, Dixon C, Fisher M, McCann J. Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems International Workshop on Automated Verification of Critical Systems (AVoCS)
Cucco E, Fisher MD, Dennis LA, Dixon CL, Webster M, Broecker B, Williams R, Collenette J, Atkinson K, Tuyls K. Towards Robots for Social Engagement Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces
Koay KL, Webster M, Dixon C, Gainer P, Syrdal D, Fisher M, Dautenhahn K. 2021. Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study Paladyn. Journal of Behavioral Robotics, 12 :402-422 DOI Publisher Url Public Url
Page V, Dadswell C, Webster M, Jump M, Fisher M. 2021. Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions Robotics, 10 :97-97 DOI Publisher Url Public Url
Cardoso R, Kourtis G, Dennis LA, Dixon C, Farrell M, Fisher M, Webster M. 2021. A Review of Verification and Validation for Space Autonomous Systems Current Robotics Reports, DOI Publisher Url Public Url
Fisher M, Cardoso RC, Collins EC, Dadswell C, Dennis LA, Dixon C, Farrell M, Ferrando A, Huang X, Jump M, Kourtis G, Lisitsa A, Luckcuck M, Luo S, Page V, Papacchini F, Webster M. 2021. An Overview of Verification and Validation Challenges for Inspection Robots Robotics, 10 :67-67 DOI Publisher Url Public Url
Webster M, Breza M, Dixon C, Fisher M, McCann J. 2020. Exploring the effects of environmental conditions and design choices on IoT systems using formal methods Journal of Computational Science, 45 DOI Publisher Url Public Url
Webster M, Western D, Araiza-Illan D, Dixon C, Eder K, Fisher M, Pipe A. 2020. A Corroborative Approach to Verification and Validation of Human–Robot Teams International Journal of Robotics Research, 39 :73-99 DOI Author Url Publisher Url Public Url
Webster M, Breza M, Dixon C, Fisher M, McCann J. 2019. Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks Electronic Communications of the EASST, 76 DOI Publisher Url Public Url
Webster M, Dixon C, Fisher M, Salem M, Saunders J, Koay KL, Dautenhahn K, Saez-Pons J. 2016. Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study IEEE Transactions on Human-Machine Systems, 46 :186-196 DOI Author Url Publisher Url Public Url
Webster M, Cameron C, Fisher M, Jump M. 2014. Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation Journal of Aerospace Information Systems, 11 :258-279 DOI Author Url Publisher Url
Webster M. 2013. Safe and Trustworthy Autonomous Robots Space Safety Magazine, :0-0 Publisher Url
Webster M, Malcolm G. 2009. Detection of metamorphic and virtualization-based malware using algebraic specification Journal in Computer Virology, 5 :221-245 DOI
Webster M, Malcolm G. 2008. Formal affordance-based models of computer virus reproduction Journal in Computer Virology, 4 :289-306 DOI
Webster M, Grant M. 2007. Reproducer classification using the theory of affordances: models and examples International Journal of Information Technology and Intelligent Computing, 2 :1-16 Publisher Url
Webster M, Malcolm G. 2006. Detection of metamorphic computer viruses using algebraic specification Journal in Computer Virology, 2 :149-161 DOI
Dixon C, Webster M, Saunders J, Fisher M, Dautenhahn K. 2014. “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours :97-108 Springer International Publishing 9783319104003 DOI
Webster M, Fisher M, Cameron N, Jump M. 2011. Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems :228-242 Springer Berlin Heidelberg 9783642242694 DOI
Webster M. 2008. Formal Models of Reproduction: from Computer Viruses to Artificial Life Publisher Url