Select country:
UK
India
Malaysia

View all research projects

Research project

COVER: COalgebraic Foundations for Quantitative VERification

Research groups:

Agents, Interaction and Complexity
Lead researchers:

Dr Corina Cirstea
Research funder:

Leverhulme Trust
Status:

Not active

Staff

Lead researchers

Doctor Corina Cirstea

Dr Corina Cirstea

Associate Professor

Connect with Corina

Email: cc2@ecs.soton.ac.uk

Collaborating research institutes, centres and groups

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.
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.

Research outputs