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.

Research

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

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