About

I joined the University of Derby in 2020, taking up a chair in Software Engineering and the role of Head of Discipline Computing and Mathematics.  Prior to Derby, I was the lead of the Embedded Systems group in the Department of Engineering at the University of Leicester.  Before that I held several post-doctoral research fellowships a the Universities of Oxford, Kent, and Surrey.

Research interests

My research interests focus on the development and application of sound engineering principles to the design, development, and verification of dependable systems incorporating software - systems where high levels of assurance in the behaviours (and misbehaviours) are needed. Such systems may be, for instance, safety-critical or fault-tolerant systems implemented in either hardware or software, or a combination of both in reconfigurable hardware, and may even incorporate machine learning or artificial intelligence components.

Research projects have involved topics such as

• the development of software technologies for large scale data processing in support of Cancer Research
• automated analysis of safety cases for high reliability embedded systems
• techniques for high reliability storage systems
• unifications of formal methods
• the application of formal methods to industrial scale software development.

These projects have been funded by a variety of sources including the EPSRC, FP7, Horizon 2020, and industrial funding; and have been conducted in collaboration with companies from automotive, avionics, medical, space, and consumer electronics, as well as a number of academic partners.

Membership of professional bodies

• MIET
• SFHEA

Qualifications

• BSc (Hons) Aberdeen
• DPhil (Oxford)