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

I am mainly interested right now in combining Machine Learning with Automated Theorem Proving.

Picture of Sean thinking.

But I've researched in many different parts of machine learning, both pure and applied, over the years.

You can get a good idea of the kinds of thing I'm interested in from my 2021 half-day tutorial talk at CADE-28.


“With 4 parameters I can fit an elephant. With 5 I can make him wiggle his trunk.” --- John Von Neumann, quoted by Freeman Dyson.

My research to date in machine learning (ML) and artificial intelligence (AI) is characterized by my career-long aim of maintaining breadth as well as depth in my approach to these subjects. Consequently I have a record of publication contributing to multiple areas across the theory of supervised learning, in particular in computational learning theory, and the application of multiple methods across multiple disciplines. For example:

I am updating my site during November 2021, so you'll have to wait for more...

Current PhD Students

If you're interested in joining my group as a PhD student please read the FAQ.

Previous PhD Students