I am a Lecturer in Computer Science within the Department of Computer Science at the University of York, UK. I received a BSc in Computer Science from the University of Cyprus (2010), and an MSc in Software Engineering (2011) and a PhD in Computer Science (2016) both from the University of York, UK.
Deadline: 3rd July. I am currently recruiting PhD candidates in the areas of Software Engineering and Trustworthy Robotics and Autonomous Systems. If interested, get in touch.
Research InterestsThe engineering of trustworthy software for autonomous systems through the development of rigorous tool-supported approaches using model-based analysis, testing and formal verification.
& autonomous systems
Devise approaches for trustworthy adaptation in robotics and autonomous systems using lightweight formal methods and model-driven engineering
Develop techniques that enable establishing the trustworthiness of Artificial Intelligence and drive its use in critical autonomous systems
Address software engineering problems and tame their large decision spaces through methods that employ evolutionary algorithms
|Mar, 2020||ASSA-Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams (£100K)|
|Dec, 2019||COVE-Continual Verification and Assurance of Robotic Systems under Uncertainty (£250K)|
|Sep, 2019||ATLAS-Assured Robustness Analysis in Collaborative Autonomous Robots (£90K)|
|Feb, 2019||AMCA-Assured Mission-Critical Applications for Teams of Unmanned Vehicles (£90K)|
|Apr 1, 2020||PhD studentship on Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams. Get in touch!|
|Mar 20, 2020||Co-organising the 3rd International Workshop on AI Safety Engineering. Deadline 24th May. www.waise.org|
|Dec 10, 2019||Our paper DeepImportance: Importance-Driven Deep Learning System Testing has been accepted at ICSE’20.|