Read this first if you want to study with me. (I'll know whether or not you have!)
Also available on FaceBook.
New paper: Kiran K. Rachuri, Theus Hossmann, Cecilia Mascolo and Sean B. Holden. Beyond Location Check-ins: Exploring Physical and Soft Sensing to Augment Social Check-in Apps. Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom) 2015, to appear.
Interview on Al Jazeera discussing Steven Hawking's claims about AI can be seen here. (Note: nobody told me I'd get dubbed in Arabic, and I'm afraid I don't have the original text.)
I will be a panel member for the debate at the BCS AI Conference 2014 on the subject: Where will AI be in 10, 25, 50 and 100 years time?
Paper with Ivo Timoteo, "Learning Dynamic Systems From Time-series Data – An Application to Gene Regulatory Networks" is accepted for publication and will appear in the Proceedings of the 4th International Conference on Pattern Recognition Applications and Methods (ICPRAM) 2015.
I am a member of the Programme Committee for the 4th International Conference on Pattern Recognition Applications and Methods (ICPRAM) 2015..
Interview for Empire Magazine.
I am a member of the Programme Committee for the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics.
Interview with the delightful Philomena Cunk for Charlie Brooker's Weekly Wipe.
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.
Panel Member in The Philosopher's Arms on BBC Radio 4.
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.