About the project
This project will make advances to the rapidly evolving area of coalgebraic verification. This research direction aims to employ methods from the field of coalgebra in order to enhance and extend the applicability of verification techniques.
Coalgebras are mathematical structures suited for modelling general state-based, dynamical systems. They come equipped with logics that support reasoning about the temporal behaviour of dynamical systems, both qualitatively and quantitatively. Coalgebraic techniques have already helped to better understand, unify and even generalise various logics and automata-based techniques used in automated verification. Current limitations of model-based verification techniques include lack of scalability and (to a lesser extent) lack of applicability to systems whose structure and interactions vary over time.
This project will contribute to advancing the coalgebraic approach to verification by studying methods that support compositional reasoning about interacting systems whose structure and interactions evolve over time.
The School of Electronics & Computer Science is committed to promoting equality, diversity inclusivity as demonstrated by our Athena SWAN award. We welcome all applicants regardless of their gender, ethnicity, disability, sexual orientation or age, and will give full consideration to applicants seeking flexible working patterns and those who have taken a career break. The University has a generous maternity policy, onsite childcare facilities, and offers a range of benefits to help ensure employees’ well-being and work-life balance. The University of Southampton is committed to sustainability and has been awarded the Platinum EcoAward.
