Simos Gerasimou

I have no special talents. I am only passionately curious. - A. Einstein

I am a Lecturer in Computer Science within the Department of Computer Science at the University of York, UK. I received a BSc in Computer Science from the University of Cyprus (2010), and an MSc in Software Engineering (2011) and a PhD in Computer Science (2016) both from the University of York, UK.

PhD studentship available on developing assured and scalable self-adaptation techniques for the engineering of trustworthy autonomous robotic teams.

I am currently recruiting PhD candidates in the areas of Software Engineering and Trustworthy Robotics and Autonomous Systems. If interested, get in touch.

Research Interests

The engineering of trustworthy software for autonomous systems through the development of rigorous tool-supported approaches using model-based analysis, testing and formal verification.

Model-driven robotics
& autonomous systems

Devise approaches for trustworthy adaptation in robotics and autonomous systems using lightweight formal methods and model-driven engineering

Trustworthy
Artificial Intelligence

Develop techniques that enable establishing the trustworthiness of Artificial Intelligence and drive its use in critical autonomous systems

Search-based
software engineering

Address software engineering problems and tame their large decision spaces through methods that employ evolutionary algorithms

Research Grants

Jul, 2020	SAFEMUV-Safe Airframe Inspection using Multiple UAVs (£250K, PI)
Mar, 2020	ASSA-Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams (£100K, PI)
Dec, 2019	COVE-Continual Verification and Assurance of Robotic Systems under Uncertainty (£250K, CoI)
Sep, 2019	ATLAS-Assured Robustness Analysis in Collaborative Autonomous Robots (£90K, CoI)
Feb, 2019	AMCA-Assured Mission-Critical Applications for Teams of Unmanned Vehicles (£90K, CoI)

News

Sep 15, 2020	Co-chaired the 3rd International Workshop on AI Safety Engineering
Jul 30, 2020	Our paper Interval Change-Point Detection for Runtime Probabilistic Model Checking has been accepted at ASE’20.
Jul 1, 2020	Our paper Supporting robotic software migration using static analysis and model-driven engineering has been accepted at MODELS’20. (Arxiv)
Apr 1, 2020	PhD studentship on Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams. Get in touch!
Dec 10, 2019	Our paper DeepImportance: Importance-Driven Deep Learning System Testing has been accepted at ICSE’20. DeepImportance website