Accessibility statement

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

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

E-mail: