Generate a tailored SOP for Dr. Corina Cirstea. Improve your application with a focused, well-structured draft.
Corina Cirstea holds a DPhil in Computation from the University of Oxford (2000) and was a Junior Research Fellow in Computer Science at St. John's College, Oxford from 1999 to 2003 before joining the University of Southampton. Her research interests focus on logic models of computation, particularly coalgebras, and the relationship between modal logics and their applications in automated verification. Cirstea currently leads the COVER project (COalgebraic Foundations of Quantitative VERification), funded by the Leverhulme Trust, which aims to create new foundations for quantitative verification based on coalgebraic modeling systems, ultimately expanding the scope and improving the scalability of quantitative verification. She is also active in various external activities, including serving as co-chair of the IFIP TC1 Working Group 1.3 and being a member of the editorial board for the journal Compositionality. Her previous research includes projects sponsored by EPSRC and the Royal Society, focusing on linear-time temporal logics and continuous space probabilistic systems.
University of Southampton • Southampton, ENG, GB
Teaching and conducting research in the field of logic models of computation.