Home Page

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. Before that, I worked in automatic speech recognition.

I am semi-retired, but still supervising undergraduate and masters' projects in model-driven engineering. I have previously taught:

• Engineering: Systems Design, Security, UML, Databases, Cloud Computing
• Programming: Java, C++, Smalltalk, Eiffel, Lisp
• Theory: Lambda calculus, type theory, symbolic reasoning in AI
• Aerospace: Spacecraft design and simulation

I served as Director of Undergraduate Admissions in Computer Science from 2012-2019, and Director of Teaching in Computer Science from 1999-2005. I was Head of the Testing Research Group from 2016-2018, Co-Director of the ICT Track at the South-East European Research Centre, Thessaloniki from 2008-2015.