Dr Sean B Holden
Senior Lecturer in Computer Science

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

Also available on FaceBook.

Latest News

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.

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.

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.

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.


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.


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.