Theodoros worked on his PhD with Elham Kashefi at the University of Edinburgh's School of Informatics. He completed his PhD is early 2016, and his specialisation lies in the area of verification methods for quantum computation.