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.