Courses for 2023-2024

• Logic and Proof (CST Part IB, since 2022/23)
• Advanced Topics in Machine Learning (CST Part III/MPhil in Advanced Computer Science, since 2019/20, current topics: "Explainable AI", "Multimodal Machine Learning")
• Introduction to Probability (CST Part IA, since 2019/20)

Past Teaching

• Machine Learning (CST Part III/MPhil in Advanced Computer Science, Cambridge 2015-2019)
• Logic and Proof (CST Part IB, Cambridge 2017-2018)
• Automated Reasoning (CST Part III/MPhil in Advanced Computer Science, Cambridge 2009-2022)
• Artificial Intelligence I (Cambridge 2008-2009)
• Planning Course (Birmingham)

Student Projects for Part II, Part III and MPhil

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

I am interested in the area of artificial intelligence, automated reasoning and machine learning. Topics include modeling "intuitive" human reasoning techniques, knowledge representation choices, combining reasoning and machine learning, explainability of deep learning methods, applying AI methods in medicine and education, etc.