I am an academic software engineer with research interests in model-based testing and model-driven engineering. Previously, I worked in object-oriented analysis and design and in object-oriented type theory.
As joint head of the Verification and Testing Research Group in the Department of Computer Science, I lead research in software testing and development. I supervise PhD students locally and at the South-East European Research Centre, Thessaloniki.
I currently teach courses on software engineering and cloud computing. Previously I have taught courses on Java e-commerce, object-oriented design, the programming languages C++, Smalltalk and Eiffel, lambda calculus, type theory and symbolic reasoning in AI. I support the interdisciplinary degree in Aerospace Engineering.
I am the Director of Undergraduate Admissions in Computer Science, with responsibility for recruitment, admissions and open days.