School of Computing

Staff Profiles

Dr Stephen Riddle

Director of Education

Background

Introduction

Dr Riddle is a Senior Lecturer in the School of Computing and delivers courses in software engineering, dependable systems and high-integrity software development (SPARK) at postgraduate level. As Director of Education he is responsible for the overall quality and development of teaching and learning in the School.

Recent 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.

Research

Esteem Indicators

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

Publications