Corina Cirstea

Dr. Corina Cirstea is an Associate Professor in the Agents, Interaction and Complexity research group at the School of Electronics and Computer Science, University of Southampton. Her research focuses on coalgebra, formal verification, logic, and their applications to computer science. She leads the COVER project (funded by the Leverhulme Trust), advancing quantitative verification through coalgebraic foundations. Dr. Cirstea holds a DPhil in Computation from the University of Oxford and a Junior Research Fellowship at St. John’s College, Oxford (1999–2003).

Her research interests include coalgebraic logic, probabilistic systems, and automated verification. She has supervised PhD students in areas like formal methods and multiagent systems. Dr. Cirstea actively participates in academic leadership roles, including co-chairing IFIP TC1 WG 1.3 and editorial board membership at Compositionality. Her work bridges theoretical foundations with practical applications in system verification and agent-based systems.

• Education: DPhil in Computation (University of Oxford, 2000)
• Projects: COVER (Leverhulme Trust), EPSRC-funded modular verification work, Royal Society-funded temporal logics research
• Awards: Junior Research Fellowship (St. John’s College, Oxford)