top of page
I'm a title. Click here to add your own text and edit me.
I am a Lecturer in Number Theory and UKRI Future Leaders Fellow at the University of East Anglia. My work is in number theory and mathematical formalisation. I am particularly interested in the autoformalisation of mathematics with the aim of applying this to my research on p-adic automorphic forms and the Langlands programme more generally.
Previously I was a post-doc at UCL and before that PhD student at the University of Warwick, under the supervision of Lassina Dembele and John Cremona. Before that I was an undergraduate student at Imperial College London.
My Erdős number is 3: Erdos--Conway--Heuer--Birkbeck.
bottom of page