Photo of Sean Holden
Dr Sean Holden
University Associate Professor
of Computer Science

Address (University)

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

Address (College)

Trinity College
Cambridge
CB2 1TQ

Phone

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

Email

sbh11 at cst.cam.ac.uk

Three steps to (Bayesian) heaven...

Illustration of probabilistic knowledge base. Illustration of probabilistic inference. Illustration of Bayes' theorem.

Latest news:

My book Machine Learninig for Automated Theorem Proving: Learning to Solve SAT and QSAT will be published this year in the Foundations and Trends® in Machine Learning series.

Picture of an implication graph.