Dr Tom Oliver
I hold an MMath degree from Durham University and a PhD in Mathematics from the University of Nottingham. Following the completion of my doctorate, I pursued a series of research fellowships at the Universities of Bristol, Oxford, and Nottingham, contributing to a range of projects, and introducing the use of artificial intelligence into formal mathematical work. Building on this experience, I joined Teesside University as a Lecturer in Mathematics, and subsequently the University of Westminster as a Lecturer in Artificial Intelligence.
I am a Fellow of the Higher Education Academy and a member of the London Mathematical Society, and I serve on the Editorial Board of the International Journal of Data Science in the Mathematical Sciences and on the Scientific Committee for Symbolic Computation and Machine Learning.
My research lies at the interface between stochastic artificial intelligence and formal mathematical reasoning. This current line of inquiry builds upon a publication record in pure mathematics, and my most significant breakthrough was reported in Quanta Magazine.
I have held research grants from the London Mathematical Society and Oxford University Innovation. I am also a founding member of the DANGER (Data, Numbers, and Geometry) conference series, which fosters interdisciplinary collaboration across artificial intelligence and mathematics.