Alexandros Evangelidis

Postdoctoral Researcher

Contact
Room: 03.11.039
Boltzmannstr. 3
85748, Garching
Germany
Tel +49 89 289 18035
E-mail: firstname.lastname@in.tum.de

About

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.

Muqsit Azeem, Alexandros Evangelidis, Jan Křetínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games - full version
arXiv. 2022.

Muqsit Azeem, Alexandros Evangelidis, Jan Křetínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games
Proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis (ATVA). October 2022.

Alexandros Evangelidis and David Parker
Quantitative Verification of Kalman Filters
Formal Aspects of Computing, Vol. 33, Springer. (FAC). February 2021.

Alexandros Evangelidis
Verified control and estimation for cloud computing
Ph.D. thesis, University of Birmingham. 2020.

Alexandros Evangelidis and David Parker
Quantitative Verification of Numerical Stability for Kalman Filters
Proceedings of the 23rd International Symposium on Formal Methods, Springer. (FM). September 2019. FM - 3rd World Congress on Formal Methods - The Next 30 Years

Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance modelling and verification of cloud-based auto-scaling policies - extended version
Future Generation Computer Systems, Vol. 87, Elsevier. (FGCS). October 2018.
DATA

Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). May 2017.
DATA

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

"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.

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