Published multiple papers on causal software engineering, state machine inference and analysis, and second-order uncertainty in software engineering. Key contributions include a Causal Testing Framework, EFSM inference technique, and LTSDiff algorithm.
Research Experience
Research has been funded by EPSRC (CITCOM, REGI, and STAMINA projects), InnovateUK, DSTL, and DfT. Currently joint PC-chair for the International Conference on Software Testing (ICST’26). Associate editor for the Journal of Automated Software Engineering. Has extensive work in Causal Software Engineering, State Machine Inference and Analysis, and Second-order uncertainty in Software Engineering.
Background
Senior Lecturer in the School of Computer Science at the University of Sheffield, member of the Testing research group. Research interests include developing techniques and tools to improve the trustworthiness and reliability of software and cyber-physical systems, particularly in 'hard to test' systems.
Miscellany
Personal interests include sports, using Strava to track activities when the weather is clement.