2018: Published 'Evaluation of Mutation Testing in a Nuclear Industry Case Study' in IEEE Transactions on Reliability
2018: Multiple conference papers on ethics and safety of autonomous systems (Safety-Critical Systems Symposium)
2017: Published several papers in Safety Science on validity of expert safety judgments and epistemic uncertainty in safety assurance
2016: Published work on multi-UAV conflict resolution testing and validation of UAV collision avoidance systems
2015: Proposed semantic mutation testing for multi-agent systems (EMAS workshop)
Contributed to extending safety cases to security cases in safety-critical contexts
Background
Senior Lecturer (equivalent to Associate Professor) in the Department of Computer Science, University of York, UK
Research focuses on three main areas:
- The World: Understanding and modeling messy real-world environments for high-autonomy systems, particularly for validation
- The Engineering Process: Investigating how large-scale engineering realities lead to failures in safety-critical systems and refining management techniques
- The Machine: Reconciling advanced autonomy technologies with dependability and safety requirements in safety-critical applications
Open to collaborations and PhD supervision in all the above areas