Centre for Software Reliability (CSR). Research interests: Software dependability (particularly safety and reliability) modelling; Software fault tolerance; Software metrics and quality assurance; Fundamental issues for safety critical systems.