Sign In

Sean Holden

University Senior Lecturer at University of Cambridge, and player of many instruments

Sean B. Holden, Ph.D. is a University Associate Professor of Computer Science at the University of Cambridge Computer Laboratory.13 His research focuses on various aspects of artificial intelligence and machine learning, with particular emphasis on:

  1. Computational learning theory
  2. Bayesian inference
  3. Quantum computation for machine learning
  4. Machine learning techniques for automated theorem proving1

Dr. Holden's academic background includes:

  • BSc in Electronic Systems Engineering from the University of East Anglia (1989)
  • Ph.D. in Engineering from Corpus Christi College, Cambridge (1994)
  • Postdoctoral work at King's College London and the University of Cambridge1

He has published extensively in his field, with recent works including:

  • "Integrating structure and sequence: Protein graph embeddings via GNNs and LLMs" (2024)
  • "Connect++: A new automated theorem prover based on the connection calculus" (2023)
  • "Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT" (book, 2021)3

Dr. Holden is also an Associate Editor of the IEEE Transactions on Artificial Intelligence as of June 2023.3 His research has practical applications in biochemistry and pharmaceuticals, including drug design and understanding disease mechanisms.2

In addition to his academic work, Dr. Holden is involved in media and outreach activities, which has even led to an entry on IMDb.34

Highlights

Nov 15 · dblp.org
Sean B. Holden - dblp
Feb 1 · cl.cam.ac.uk
Sean Holden - Department of Computer Science and Technology |
Sean Holden - Department of Computer Science and Technology |
Dec 18 · cst.cam.ac.uk
Dr Sean Holden | Department of Computer Science and Technology
Dr Sean Holden | Department of Computer Science and Technology
Oct 20 · youtube.com
Career Talks: Dr Sean Holden's Research - YouTube
Career Talks: Dr Sean Holden's Research - YouTube
Jan 1 · lifeboat.com
Dr. Sean B. Holden - Lifeboat Foundation Bios
Dr. Sean B. Holden - Lifeboat Foundation Bios

Related Questions

What are some of Sean Holden's most notable research projects?
How does Sean Holden's work contribute to the field of machine learning?
What is the Cambridge Project for Existential Risk, and how is Sean Holden involved?
Can you explain the Generalized FITC Approximation in simpler terms?
What are the main challenges Sean Holden faces in his research on Bayesian inference?
Sean Holden
Sean Holden, photo 1
Sean Holden, photo 2
Add to my network

Location

Greater Cambridge Area