Research
In my work I want to build AI systems that work in more human-like ways. I explore how people represent their problems and how they solve them using informal techniques. I combine AI reasoning with machine learning techniques in order to obtain explainable model predictions as well as to be able to apply them in applications where it is important to understand the machine's output. In particular, I apply this theoretical work to clinical decision support systems in personalised cancer medicine as well as in education to personalised tutoring systems.

Broadly, my research is in the areas of artificial intelligence, human-like computation, machine learning, automated reasoning, diagrammatic reasoning, knowledge representation, theorem proving, cognitive science, human-computer interaction.

I am a member of the Artificial Intelligence research group and also of the Programming, Logic, and Semantics Group.