Simos Gerasimou

Dr. Simos Gerasimou is a Senior Lecturer in the Department of Computer Science at the University of York, holding this position since 2023. Previously, he served as a Lecturer (2019–2023) and Research Associate (2016–2019) at the same institution. His research focuses on engineering trustworthy software for autonomous systems, emphasizing rigorous tool-supported approaches through model-based analysis, testing, and formal verification. His work intersects with trustworthy AI, robotics, and software engineering.

Dr. Gerasimou holds a PhD in Computer Science (University of York, 2016), an MSc in Software Engineering (University of York, 2011), and a BSc in Computer Science (University of Cyprus, 2010). He is part of the Automated Software Engineering research group, contributing to advancements in safety assurance and formal methods for critical systems.

His research interests include ensuring safety and reliability in autonomous systems, with a focus on model-driven approaches for testing and verification. Recent work explores topics such as compositional safety verification, uncertainty quantification in AI systems, and adaptive human-robot collaboration. His publications address challenges in autonomous driving, UAV systems, and stochastic modeling of software behaviors.

Dr. Gerasimou’s contributions span both theoretical advancements and applied solutions, bridging gaps between formal methods and real-world engineering challenges. He emphasizes the importance of rigorous methodologies to address safety and dependability in next-generation autonomous technologies.