Research project

COVER: COalgebraic Foundations for Quantitative VERification

Research groups:

Agents, Interaction and Complexity
Lead researcher:

Dr Corina Cirstea
Research funder:

Leverhulme Trust
Status:

Active

Staff

Lead researcher

Dr Corina Cirstea

Associate Professor

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.