School of Computing

Staff Profiles

Dr Stephen Riddle

Lecturer

Background

Introduction

Dr Riddle delivers courses in formal specification (VDM-SL) and software development techniques at undergraduate level; software engineering, dependable systems, Java programming and high-integrity software development (SPARK) at postgraduate level. He also coordinates the undergraduate placement programme.

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