About
Dr Corina Cirstea is an Associate Professor in the research group in the 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 and joint with the University of Strathclyde. This work studied new foundations for quantitative verification, grounded in a coalgebraic modelling of systems.
News
Consider submitting a paper to .
Invited speaker at the .
External Activities
Co-chair of
Member of the editorial board,
Member of editorial board, journal
Member of Steering Committee
Member of Steering Committee
Program Committees:
- (co-chair)
- FOSSACS 2027
- (Track B)
- (co-chair)