Simos Gerasimou

PhD current working title of project: Runtime quantitative verification of self-adaptive systems.

Research interests: Active research interests in runtime modelling and verificatiion of software and cyber-physical systems search-based software engineering and robotics.

Country of origin: Cyprus

Institution/country where you studied your undergraduate/masters degree(s): BSc in Computer Science, University of Cyprus, Cyprus, 2006-2010. MSc in Software Engineering, University of York, UK.

Personal research website