Simos Gerasimou
Assistant Professor at University of York
Limassol, Cyprus
Summary
👤
Senior🎓
Top SchoolSimos Gerasimou is an Assistant Professor and researcher with 11 years of experience at the intersection of artificial intelligence, machine learning and software engineering, currently holding roles at Cyprus University of Technology and the University of York. His work focuses on engineering trustworthy adaptive and autonomous systems via runtime quantitative verification, model-based analysis, search-based software engineering and formal assurances for robotics. He has a strong track record of translating safety-critical research into practical demonstrators, from automotive safety cases to software modernization for airborne systems. Simos combines deep academic rigor with applied tool-building, often bridging formal verification and optimization techniques to tackle obsolescence and runtime adaptation challenges. Based in Limassol, Cyprus, he brings a rare blend of expertise across self-adaptive systems, safe AI and robotic assurances that informs both teaching and impactful cross-disciplinary research.
11 years of coding experience
11 years of employment as a software developer
BSc Computer Science, BSc Computer Science at University of CyprusMSc Software Engineering, MSc Software Engineering at University of York
Github Skills (7)
xml-parser8
ini7
java7
xml7
parser7
simulation6
robotics6
Programming languages (3)
Github contributions (5)
gerasimou/RODES
Feb 2016 - Mar 2018
Contributions:36 pushes, 1 branch, 5 tags in 2 years 1 month
gerasimou/EvoChecker
May 2015 - Nov 2021
EvoChecker
Contributions:212 commits, 106 pushes, 10 branches in 6 years 7 months
java
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.