### Teaching

# Courses for 2016-2017

- Automated Reasoning (CST Part III/MPhil in Advanced Computer Science)
- Machine Learning and Algorithms for Data Mining (CST Part III/MPhil in Advanced Computer Science)

# Past Teaching

- Machine Learning and Algorithms for Data Mining (Cambridge 2015-2016)
- Automated Reasoning (Cambridge 2009/10, 2011-2016)
- Artificial Intelligence I (Cambridge 2008-2009)
- Planning Course (Birmingham)

# Student Projects

Here is some information on Part III and MPhil projects provided by the Computer Laboratory.

I am interested in the area of mathematical reasoning and in modeling
how people solve problems in mathematics. In
particular, I have been looking into the formalisation of reasoning
with diagrams to prove theorems of mathematics. I would be happy to
supervise any project which deals with stydying how people reason in
mathematics, modeling of this reasoning, the formalisation of
mathematics, theorem proving, proof planning, etc. Here are some
suggestions for student projects (local access only).

- A Recommender System for Lemma Selection in Isabelle
- Clinical diagnosis support system: translating machine learning and ODE models into doctor-wise logic rules
- Automatic Diagrammatic Theorem Prover
- Image Processing in Theorem Proving
- Natural Language Processing and Theorem Proving
- Formalisation of Abstractions in Diagrams
- Model Checking