Dr Matt Webster
HOME | RESEARCH | CONTACT

Hi, I'm Matt.

I'm a computer scientist from the UK with an interest in verification for robotics and AI. Sometimes I make music and video games. Here is a picture of me looking wistfully into the distance.

I've been involved in scientific research professionally since 2004. Research is the process of exploring alleys to see if they're blind — some highlights are shown below. The full list of publications is available if you'd like to see the gory details!

Astronauts and a rover on the surface of Mars.

Astronaut–Rover Teams

I verified these teams to make sure they work together safely and efficiently.

A drone with lights hovering over some countryside.

Autonomous Unmanned Aircraft

AI is essential for efficient operations. I investigated how to make it safe and reliable.

A child-size Pepper robot with a friendly face.

Robotic Assistants

I verified that robots can safely assist people in the home and in manufacturing.

A depiction of cyberspace with glowing towers of data.

Cyber Security

I developed new methods for verifying protocols and detecting computer viruses.

The inside of a flight simulator with controls, dials, and screens.

Simulation

I used high-fidelity models to ground verification results in reality.

Image credits: Sebastian Gößl/Angelo Scarcella/StockSnap/Claus Norgaard from Pixabay. Cyberspace image from Hackers (1995).

Copyright 2024 Matt Webster.