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. 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 currently leads the COVER project (COalgebraic foundations for quantitative VERification), funded by the Leverhulme Trust and joint with the University of Starthclyde. This project aims to build new foundations for quantitative verification, grounded in a coalgebraic modelling of systems, and aimed at expanding the scope of quantitative verification and improving its scalability.
You can update this in Pure (opens in a new tab). Select ‘Edit profile’. Under the heading and then ‘Curriculum and research description’, select ‘Add profile information’. In the dropdown menu, select - ‘About’.
Write about yourself in the third person. Aim for 100 to 150 words covering the main points about who you are and what you currently do. Clear, simple language is best. You can include specialist or technical terms.
You’ll be able to add details about your research, publications, career and academic history to other sections of your staff profile.