Skip to main content
Doctor Corina Cirstea

Doctor Corina Cirstea

Associate Professor

Accepting applications from PhD students.

Connect with Corina


Address: B32, East Highfield Campus, University Road, SO17 1BJ (View in Google Maps)


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:

Back to top