Researcher in Artificial Intelligence

- Machine Learning and Algorithms for Data Mining (CST Part III/MPhil in Advanced Computer Science)
- Logic and Proof (CST Part IB)

- Machine Learning and Algorithms for Data Mining (Cambridge 2015-2018)
- Automated Reasoning (CST Part III/MPhil in Advanced Computer Science, Cambridge 2009/10, 2011-2017)
- Artificial Intelligence I (Cambridge 2008-2009)
- Planning Course (Birmingham)

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

I am interested in the area of artificial intelligence, automated reasoning and machine learning, especially about 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, machine learning, proof planning, etc. Here are some suggestions for student projects (local access only).

- Eureka: Discover Human Solutions
- Reverse Lego
- Human-style output for interactive theorem proving (co-supervised with Zohreh Shams)
- Data visualisation in ontologies (co-supervised with Zohreh Shams)
- Toward self-learning robots (co-supervised with Zohreh Shams)
- Interface for Lemma Recommender System in Isabelle
- Image Processing in Theorem Proving
- Natural Language Processing and Theorem Proving
- Clinical diagnosis support system: translating machine learning and ODE models into doctor-wise logic rules
- Formalisation of Abstractions in Diagrams
- Model Checking