Interests
My research interests include:
- synthesis and verification
- probabilistic model checking
- performance modelling
- state estimation
- application of machine learning methods in verification
Qualifications
- PhD Computer Science, University of Birmingham, 2020
- Fellow of the Higher Education Academy (FHEA)
- MSc Computer Science, University of Birmingham
Career
- Postdoctoral Researcher, Department of Computer Science, University of York, 2024 - present
- Postdoctoral Fellow, School of Computation, Information and Technology, Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany, 2020-2023
- Teaching Fellow, School of Computer Science, University of Birmingham, 2018-2020