Alexandros Evangelidis

alt text 

Postdoctoral Researcher

Chair for Foundations of Software Reliability and Theoretical Computer Science
School of Computation, Information and Technology
Technical University of Munich

Room: 03.11.039
Boltzmannstr. 3
85748, Garching
Tel +49 89 289 18035


I am a Postdoctoral Researcher in Prof. Dr. Jan Křetínský's group at the Chair for Foundations of Software Reliability and Theoretical Computer Science. My current research focuses on synthesis and verification, probabilistic model checking, as well as on how machine learning methods could be applied to verification. Previously, I obtained my Ph.D. in Computer Science from the University of Birmingham, with Professor David Parker as my lead supervisor and Dr. Rami Bahsoon as my co-supervisor. During the last two years of my Ph.D. I was also a Teaching Fellow.



  • Group-by Objectives in Probabilistic Verification project by German Research Foundation (Deutsche Forschungsgemeinschaft (DFG))

    Official Link.

Research Talks

  • "Cascades of Games" at the Workshop on Recent Advances in Model Checking organised by Technical University of Munich, Masaryk University and Institute of Science and Technology Austria, in Brno, Czech Republic.

  • "On the Performance Evaluation of Algorithms for Stochastic Games" at the 10th Conference on Highlights of Logic, Games and Automata in Paris, France.

  • "Quantitative Verification of Numerical Stability for Kalman filters" at the 23rd International Symposium on Formal Methods in Porto, Portugal.

  • "Performance Modelling and Verification of Cloud-based Auto-Scaling Policies" at the IEEE/ACM 17th International Symposium on Cluster, Cloud and Grid Computing in Madrid, Spain.


  • PC member, FORMATS 2023.

  • Proceedings Chair, European Joint Conferences (ESOP, FoSSaCS, FASE, TACAS) on Theory and Practice of Software, (ETAPS), 2022.

    For more information, please click here.
  • Reviewer for: ACM/IEEE Symposium on Logic in Computer Science (LICS), International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), International Colloquium on Automata, Languages and Programming (ICALP), International Conference on Quantitative Evaluation of Systems (QEST), International Conference on Concurrency Theory (CONCUR), International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), ACM International Conference on Hybrid Systems: Computation and Control (HSCC), IEEE Transactions on Dependable and Secure Computing, Software: Practice and Experience (Wiley), Computing (Springer), ACM Transactions on Modeling and Performance Evaluation of Computing Systems


  • Practical Course, Recent Advances in Model Checking

  • Quantitative Verification

  • Model Checking

  • Fundamental Algorithms

  • M.Sc. Software Workshop (At the University of Birmingham)

Professional Associations

  • Fellow, Higher Education Academy U.K.
  • Professional Member, Association for Computing Machinery (ACM)
Copyright © 2023 A. Evangelidis.