Since May 2019, I am a Research Fellow at the CREST
research centre of
the Department of Computer Science at University College London (UCL)
My research supervisors are Dr. Federica Sarro
and Professor Mark Harman
Previously, I was a postdoctoral researcher at the Delft University of Technology
and a member of the Software Engineering Research Group
under the supervision of Dr. Georgios Gousios
I finished my PhD in Software Engineering in the Department of Management Science and Technology
at the Athens University of Economics and Business
under the supervision of Professor Diomidis Spinellis
Before that, I pursued my MSc in Computing (Software Engineering)
at Imperial College London
My research interests lie in the areas of software engineering, software verification, crash data analytics, and programming languages.
Through my research, I wish to combine software engineering and verification techniques (including static and dynamic analysis)
for building tools and techniques that can improve the robustness of software systems and increase programmer productivity.