
of Computer Science
Please use the @cl form of address in preference to any other you may have.
Address (University)
University of CambridgeDepartment of Computer Science and Technology
The Computer Laboratory
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Address (College)
Trinity CollegeCambridge
CB2 1TQ
Phone
+44 (0)1223 763725 (University)+44 (0)1223 338452 (College)
Orcid
0000-0001-7979-1148Also available...
...on DBLP and Semantic Scholar.
If you want to study with me, please read the FAQs before doing anything else.
Three steps to (Bayesian) heaven...



Latest news:
-
My book Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT has now been published.
Don't delay! Get your copy now! 200 pages of machine learning and theorem proving goodness!
-
Congratulations to my PhD student Agnieszka Slowick for acceptance of her paper On the Relation Between Distributionally Robust Optimization and Data Curation at AAAI 2022.
-
My book Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT will be published this year in the Foundations and Trends® in Machine Learning series.