of Computer Science
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
Address (College)Trinity College
Phone+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.
Three steps to (Bayesian) heaven...
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!
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.