Dr Matt Webster

School of Computer Science and Mathematics

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:

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.

PhD Opportunities

A number of funded PhD studentships are available in the School for UK/EU/International students. Please email for more information.

Journal article

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

Dennis L, Fisher M, Slavkovik M, Webster M. 2016. Formal verification of ethical choices in autonomous systems ROBOTICS AND AUTONOMOUS SYSTEMS, 77 :1-14 DOI Author Url Publisher 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

Fisher M, Dennis L, Webster M. 2013. Verifying Autonomous Systems COMMUNICATIONS OF THE ACM, 56 :84-93 DOI Author Url Publisher Url

Webster M. 2013. Safe and Trustworthy Autonomous Robots Space Safety Magazine, :0-0 Publisher Url

Webster M, Malcolm G. 2012. R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems BIOSYSTEMS, 110 :119-129 DOI Author Url Publisher Url

Dennis LA, Fisher M, Webster MP, Bordini RH. 2012. Model checking agent programming languages AUTOMATED SOFTWARE ENGINEERING, 19 :5-63 DOI Author Url 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

Cardoso R, Kourtis G, Dennis LA, Dixon C, Farrell M, Fisher M, Webster M. A Review of Verification and Validation for Space Autonomous Systems Current Robotics Reports,

Conference publication

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

Dennis LA, Fisher M, Webster M. 2018. Two-stage agent program verification JOURNAL OF LOGIC AND COMPUTATION, 28 :499-523 DOI Publisher Url

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

Chapters

Gainer P, Dixon CL, Dautenhahn K, Fisher M, Hustadt U, Saunders J, Webster M. 2017. CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours 10471 :119-133 Springer Nature DOI Publisher Url

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

Dennis LA, Fisher M, Webster M. 2013. Using Agent JPF to Build Models for Other Model Checkers 8143 :273-289 978-3-642-40623-2 DOI Author Url Publisher Url

Dennis L, Fisher M, Slavkovik M, Webster M. 2013. Ethical Choice in Unforeseen Circumstances :0-0 Springer. Oxford DOI Author Url Publisher Url

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

Thesis/Dissertation

Webster M. 2008. Formal Models of Reproduction: from Computer Viruses to Artificial Life Publisher Url

Top