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
Senior Lecturer, University of York, 2023 -
Lecturer, University of York, 2019 - 2023
Research Associate, University of York, 2016-2019
Research Associate, Cyprus University of Technology, 2011-2012
Phone: +44 (0)1904 325198Office: CSE/034
E-mail: Send e-mail using web form