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


Me

Who?
Simos Gerasimou


What?
Research Associate, Dept. of Computer Science, University of York


Current Research Project?
Assurance and safety cases for autonomous systems

Who am I?

I am a Research Associate at the High-Integrity Systems Engineering research group within the Department of Computer Science at the University of York, UK. I received a BSc in Computer Science from the University of Cyprus, CY, in 2010, and MSc in Software Engineering and PhD in Computer Science from the University of York, UK, in 2011 and 2017, respectively.

Sept'17-Present: Assurance and safety cases for autonomous systems

I am a Research Associate on a project funded by Jaguar-Land Rover project that investigates the application of safety cases in the automotive domain.

Oct'16-Aug'17: Software Obsolescence in Safety-Related Software Systems

I was a Research Associate on a DSTL-funded project that investigated technical obsolescence in safety-related software for airborne systems. The project explored the challenges for software modernisation due to functional, technological or logistical obsolescence, evaluated mitigation strategies, and developed proof-of-concept demonstrators using code-based transformation techniques to facilitate software modernisation.

Oct'12-Sept'16: Runtime Quantitative Verification of Self-Adaptive AI Systems

My PhD investigates the application of runtime quantitative verification in self-adaptive systems. It was funded by DSTL, and was under the supervision of Dr. Radu Calinescu. We introduced variants of runtime quantitative verification that improve its efficiency and scalability, and extend its applicability to larger and more complex self-adaptive software systems.

Oct'11-Sept'12: Runtime Quantitative Verification of Self-Adaptive AI Systems

Before starting my PhD, I was a Research Associate at the Software Engineering and Intelligent Information Systems research lab, hosted at the Department of Electrical Engineering / Computer Engineering and Informatics of the Cyprus University of Technology. My research focused on software project management, project scheduling and team staffing using artificial intelligence such as swarm intelligence and genetic algorithms. I also worked on the composition of research proposals for national and European funding schemes.

Research Interests

My research interests lie in the area of self-adaptive and autonomous systems with a focus on methods that enable dependable system adaptation. Other research interests include runtime quantitative verification, search-based software engineering, model-driven engineering, robotics and artificial intelligence.

Professional Services

Other Activities
Additional Reviewer

Publications