Read this first if you want to study with me. (I'll know whether or not you have!)
Also available on FaceBook.
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.
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.
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
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.
Assorted other research related Things.