Read this first if you want to study with me. (I'll know whether or not you have!)

Also available on FaceBook.

Latest News

Our paper on learning to prove is accepted for publication in the Journal of Automated Reasoning. You can download a pre-publication version here. The final publication is available at link.springer.com.

Congratulations to my student Nicholas Pilkington for the successful defence of his thesis Hyperparameter Optimization for Multiple Kernels and now founder of the start-up DroneDeploy.

Our data set derived from a problem in first-order theorem proving is now available in the UCI Machine Learning Repository.

I am on the Advisory Board for the Lifeboat Foundation.

Our theorem-proving data set has been donated to the UCI Machine Learning Repository.

I am keynote speaker at the Cambridge Statistics Initiative One-Day Meeting 2013.

I will be serving on the Program Committee of the 23rd International Joint Conference on Artificial Intelligence (IJCAI) 2013.

I am an internal advisor to the Cambridge Project for Existential Risk.

Myself and Dr Kathryn Lilley of the University of Cambridge Department of Biochemistry have been awarded a grant Data Fusion and Inductive Transfer for Organelle Proteomics by the BBSRC.

Congratulations to my student Nick Pilkington on having his paper Multiple Kernel Learning for Drug Discovery accepted by Molecular Informatics.

Congratulations to my student Richard Russell on the successful defence of his thesis Planning with preferences using maximum satisfiability and on starting work at Autonomy

About me

My brief Biography and my Contact Details.

Research

Detailed information on my Research Interests, and a list of my Publications

A collection of open source Software that has been produced as part of my research.

Some notes on Applying to do a PhD in Machine Learning.

Some further information on Machine Learning in Cambridge and on Neuroscience in Cambridge.

Assorted other research related Things.

Teaching

Part 1a undergraduates at Trinity (and anyone I'm also supervising in 1a at Peterhouse) should read the timetable for supervision work, and carefully note the fact that solution notes are evil.

Information on my University Teaching and some suggestions for Part II Projects.

Other stuff

Some information on Appearances in the Media and on Other Things That I Do.