My main research interests include the engineering of trustworthy software for autonomous systems through the development of rigorous tool-supported approaches using model-based analysis, testing and formal verification.
If you are interested in pursuing a PhD under my supervision, please read this first.
PhD Computer Science, University of York, 2016
MSc Software Engineering, University of York, 2011
BSc Computer Science, Univesity of Cyprus, 2010
Lecturer, University of York, 2019 -
Research Associate, University of York, 2016-2019
Research Associate, Cyprus University of Technology, 2011-2012