Safety-critical systems; safety engineering; safety of autonomy and robotics; impact of cyber security on safety; software engineering for high integrity systems.
OBE, FREng, FPCS, FIET, FHEA
MoD research scientist. Five years in the software industry. Chair at York since 1987. Head of Department of Computer Science: 2006-2012 & 2016-2017. Director of Assuring Autonomy International Programme (AAIP), 2018-date.