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. She 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 close connection to modal logics, and their applications to automated verification.
External activities
Member of editorial board, Compositionality journal
Co-chair of IFIP Working Group 1.3
Member of CALCO Steering Committee
Member of CMCS Steering Committee
Program Committees:
Research
Research groups
Current research
Dr Cirstea's research concerns the study of automated verification and synthesis techniques that have coalgebras at their heart. Coalgebras are mathematical structures suitable for modelling a large variety of state-based, dynamical systems; in particular, they can faithfully model both software and hardware systems, with features such as non-deterministic, stochastic or resource-aware behaviour being captured in the models. This supports reasoning not just about qualitative aspects of system behaviour (correctness guarantees), but also about quantitative ones (e.g. likelihood of correct behaviour and guarantees on resource usage).
Dr Cirstea is the PI on the Leverhulme Trust Research Project Grant COVER: COalgebraic foundations for quantitative VERification (2021-2024, joint with the University of Strathclyde). This project aims to develop new foundations for quantitative model checking and synthesis, grounded in coalgebra, and thereby widen the applicability of automated verification to complex systems with a range of correctness and optimality guarantees.
Research projects
Active projects
Completed projects
Publications
Supervision
Current PhD Students
Teaching
Modules taught (2021-22):
- COMP1201 Algorithmics (Part 1, module leader)
- COMP2210 Theory of Computing (Part 2, module leader)
- COMP6210 Automated Software Verification (Part 4/MSc, module leader)
Biography
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.
External activities
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
Program Committees: