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
I am looking for a PhD student with an interest in theoretical computer science, to work on applications of coalgebraic methods to verification. Please email me if interested.
Consider submitting a paper to CSL 2027.
External Activities
Member of the Editorial Board, Discrete Mathematics & Theoretical Computer Science journal
Member of the Editorial Board, Theoretical Computer Science journal
Member of the Editorial Board, Compositionality journal
Member of CALCO Steering Committee
Member of CMCS Steering Committee
Secretary of IFIP TC1 Working Group 1.3
Program Committees: