Matt Webster

I am a postdoctoral Research Associate at the Virtual Engineering Centre in Daresbury, UK.

My research interests include:

• Unmanned Aircraft Systems (UAS): autonomy, development, certification, distributed interactive simulation.
• Autonomous systems, artificial intelligence, multi-agent systems.
• Formal methods, including model checking, formal semantics of programming languages.
• Model Checking Agent Programming Languages (MCAPL).
• Biologically-inspired computing, including computer viruses and artificial life.

I am also a member of the School of Engineering at the University of Liverpool, and the Logic and Computation research group at ULCS.

Contact

Dr. Matt Webster
Virtual Engineering Centre
Daresbury Laboratory
Warrington
WA4 4AD
UK
Phone: +44 (0)1925 864847
Email: matt.p.webster@gmail.com

Publications

Miscellaneous

Copyright © 2005-12 Matt Webster
Validate: HTML | CSS