About me
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.
Teaching
At the University of Westminster, I contribute to teaching across a range of modules within the School of Computer Science and Engineering including artificial intelligence, data science, cyber security. Recent and current teaching includes Mathematics for Computing (4COSC002W, 2023–2024), Machine Learning and Data Mining (5DATA002W, 2024–2026), Applied Cryptography (5NTCM006, 2024–2025), Applied AI (6COSC020W, 2023–2025), Formal Methods (6SENG005W, 2023), and Big Data Theory and Practice (7BDIN006W, 2024–2026).
In earlier stages of my academic career, I also taught modules in pure mathematics and mathematics for engineering.
Research
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.
Publications
For details of all my research outputs, visit my WestminsterResearch profile.