this first if you want to study with me. (I'll know whether or
not you have!)
Also available on FaceBook.
I am a member of the Programme Committee for the Eleventh
International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics
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
Our data set derived from a problem in first-order theorem proving is now available
in the UCI Machine
I am on the Advisory Board for the Lifeboat Foundation.
Our theorem-proving data set has been donated to the UCI Machine
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
Congratulations to my student Nick Pilkington
on having his paper Multiple
Kernel Learning for Drug Discovery accepted by
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
My brief Biography and my
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
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.
Some information on Appearances in the Media and on
Other Things That I Do.