Research project

COVER: COalgebraic Foundations for Quantitative VERification

Research groups:

Agents, Interactions and Complexity

Staff

Lead researcher

Associate Professor

Email: cc2@ecs.soton.ac.uk

We research the science and engineering of complex areas. We focus on areas including human-machine teams and human-in-the-loop interaction.