Dr Corina Cirstea
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