My main research is in formal, automated techniques and tools for supporting the diagnosis and repair of faults in partial declarative specifications.
Methods that are central to my work are model checking, inductive logic programming, abductive reasoning and answer set programming.
My focus has been on developing reasoning methods for safety-critical systems in software engineering including goal operationalisation, vacuity detection in conditional scenarios and obstacle generation. In recent years, this has extended to computational methods for supporting serious crime investigations. I am particularly interested in developing AI-based techniques for behavioural analysis, crime linkage and geographic profiling.
Some Professional Activities
- PC member, LNMR (2013), First
International Workshop on Learning and Nonmonotonic Reasoning,
co-located with LPNMR'13.
- Reviewer, ICSE (2013), TSE and IET Software (2012).
- PC member, The 22nd International Conference on Inductive Logic Programming (2012).
- Co-Chair of International Workshop on Machine Learning Technologies in Software Engineering (2011).
- PC member of International Workshop on Requirements Analysis (2010).
- Early Research Officer for BCS Requirements Engineering Specialist Group (2010-present).
- PhD students Officer for BCS Requirements Engineering Specialist Group (2007-2010).
- Organiser of SEMAL seminar series.
- RA (post-doc) representative.
- EFAW First Aider.