Matt Webster

I am a postdoctoral Research Associate in the Department of Computer Science at the University of Liverpool. I am currently working on the Science of Sensor Systems Software (S4) programme grant, funded by EPSRC. I am a member of the following groups, labs and centres:

Previous projects include Trustworthy Robotic Assistants, the Virtual Engineering Centre, and Model Checking Agent Programming Languages. Before that I did a Ph.D. on formal modelling and verification, computer viruses and artificial life (thesis available in PDF).

My research interests include:

Publications

RAS Group Meetings

Contact

Dr. Matt Webster
Department of Computer Science
University of Liverpool
Liverpool
L69 3BX
UK
Phone: +44 (0) 151 795 4237
Email: matt@liverpool.ac.uk