Dr Corina Cirstea is an Associate Professor in the Agents, Interaction and Complexity research group in the School of Electronics and Computer Science at the University of Southampton. Her main research is in the field of coalgebra and its applications to computer science, in particular its relationship to the areas of logic, automata, games and formal verification. Dr Cirstea currently leads the COVER project (COalgebraic foundations for quantitative VERification), funded by the Leverhulme Trust and joint with the University of Starthclyde. This project aims to build new foundations for quantitative verification, grounded in a coalgebraic modelling of systems, and aimed at expanding the scope of quantitative verification and improving its scalability.
Dr Corina Cirstea holds a DPhil in Computation from the University of Oxford (2000) and was the holder of a Junior Research Fellowship in Computer Science at St. John's College Oxford (1999-2003) prior to joining the University of Southampton. Her research interests are in logic and models of computation, more specifically in coalgebras, their connection to modal logics, and their applications to automated verification.
Co-chair of IFIP TC1 Working Group 1.3
Member of editorial board, Compositionality journal
Member of CALCO Steering Committee
Member of CMCS Steering Committee