My research involves the development of relational machine learning methods and their application to software engineering, juris-informatics, and the automation of scientific inference through the integration of abductive and inductive reasoning. Specific interests include the application of inductive logic programming to energy-aware compiler tuning and interactive cyber-security, the use of non-monotonic action theories in requirements engineering and language acquisition, the automation of scientific method in social insect behaviour and yeast biology, and computational analysis of UK case law. I am a member of the Intelligent Systems research group and the Interactive AI centre for doctoral training.