The University of Southampton

Dr Corina Cirstea 

Personal homepage


Corina Cirstea holds a DPhil in Computation from the University of Oxford (2000). She 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 (2003). Her research interests are in logic and models of computation, more specifically in coalgebras and their connection to logic and verification.


Member of editorial board, Compositionality journal

Member of CPHC/BCS Distinguished Dissertations selection panel

Member of IFIP Working Group 1.3

Member of CALCO Steering Committee

Member of CMCS Steering Committee

Organiser of CALCO 2011

Program Committees:


Research interests

My 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 nehaviour and guarantees on resource usage).


I currently teach the following modules:

  • COMP1201 Algorithmics
  • COMP2210 Theory of Computing
  • COMP2207 Distributed Systems and Networks


Share this profile FacebookTwitterWeibo