View all research projects
Research project

COVER: COalgebraic Foundations for Quantitative VERification

Staff

Lead researcher

Dr Corina Cirstea

Associate Professor
Connect with Corina

Email: cc2@ecs.soton.ac.uk

Collaborating research institutes, centres and groups

Centre for Machine Intelligence

Centre for Machine Intelligence (CMI) is a platform involving researchers and practitioners with the aim to deliver the impact of machine intelligence to society.

Agents, Interaction and Complexity

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

Research outputs