Dr Alexandros Evangelidis
Research Associate

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