Dr Riddle delivers courses in formal specification (VDM-SL) and software development techniques at undergraduate
level; software engineering and high-integrity software development (SPARK) at postgraduate level. He also coordinates the undergraduate placement programme and final year projects in Information Systems.
Current research projects include FP7 Project COMPASS (Comprehensive Modelling for Advanced Systems of Systems). Dr Riddle obtained his BSc in Computer Software Technology at the University of Bath in 1991, and completed a PhD at Bath in 1997 on the use of partial specifications and refinement theory to aid the process of explaining complex systems.
Organising committee member for the 10th Overture Workshop, held at FM'2012, Paris, August 2012
Co-chair of the Ada Connection, 16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
Member of program committee for Fourth International Workshop on Requirements for High Assurance Systems (RHAS 05, Paris) August 2005