Dr Ioannis Stefanakos


Ioannis Stefanakos is a Research Associate in the Assuring Autonomy International Programme (AAIP) at the University of York, UK.

He has recently submitted his University of York PhD thesis, and his main research interests are in model-driven software engineering, stochastic modelling and verification. In the CSI:Cobot project, he is working on developing methods and software for the modelling and verification of human-robot interactions in a manufacturing setting, and for the adaptation of cobot configuration and behaviour to run-time changes, ensuring that the resulting adaptation behaviour is safe.

Flagship institutes

The University’s four flagship institutes bring together our key strengths to tackle global issues, turning interdisciplinary and translational research into real-world solutions.