Email

Please use the @cl form of address in preference to any other you may have.

Address (University)

University of Cambridge
Department of Computer Science and Technology
The Computer Laboratory
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD

Trinity College
Cambridge
CB2 1TQ

+44 (0)1223 763725 (University)
+44 (0)1223 338452 (College)

If you want to study with me, please read the FAQs before doing anything else.

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.