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 at the University of Sheffield, but am still supervising student projects. 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.