I am a member of the Programme Committee for the First Conference on Artificial Intelligence and Theorem Proving.
I am a member of the Programme Committee for the 5th International Conference on Pattern Recognition Applications and Methods (ICPRAM) 2016.
New paper Learning from heterogeneous data sources: an application in spatial proteomics posted on bioRxiv.
I'll be drumming and speaking about AI at the TEDx event in Leamington Spa this November 21st 2015.
I am on the Editorial Board for Artificial Intelligence Review.
Talking on the subject of why we won't be getting human-level AI any time soon on the Computerphile YouTube channel.
Here is a link to an article I contributed to in The Register.
Here is a link to an article I contributed to for ShortList on the subject of driverless cars.
Spoke at the Pint of Science Festival in Cambridge during the Future of Things event.
I was Keynote Speaker at the 2015 Marshall McLuhan Symposium at Trinity Hall College, Cambridge.
Spoke to the World Economic Forum Innovation & Entrepreneuring meeting at Churchill College Cambridge.
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, pages 123-130.
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