About
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 recently lead the COVER project (COalgebraic foundations for quantitative VERification), funded by the Leverhulme Trust and joint with the University of Strathclyde. This work studied new foundations for quantitative verification, grounded in a coalgebraic modelling of systems.
News
Invited speaker at the 42nd British Colloquium for Theoretical Computer Science.
External Activities
Co-chair of IFIP TC1 Working Group 1.3
Member of the editorial board, Theoretical Computer Science
Member of editorial board, Compositionality journal
Member of CALCO Steering Committee
Member of CMCS Steering Committee
Program Committees:
- CSL 2027 (co-chair)
- FOSSACS 2027
- CONCUR 2026
- CMCS 2026
- STACS 2026 (Track B)
- CALCO 2025 (co-chair)
- CSL 2025
- SYCO 13
- ICTAC 2024
- FOSSACS 2024
- SEFM 2022
- ACT 2022
- SEFM 2021
- MFPS 2021
- HIGHLIGHTS 2021
- ICALP 2021
- MFCS 2021
- ACT 2020
- ICE 2020
- CMCS 2020
- FOSSACS 2020