top of page
I'm a title. Click here to add your own text and edit me.
I am a Lecturer in Number Theory at the University of East Anglia. My work is in number theory and mathematical formalisation. I am particularly interested in using AI to formalising mathematics with the aim of applying this to my research on p-adic automorphic forms and eigenvarieties.
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.
If you are interested in doing PhD in number theory and formalisation click here
My Erdős number is 3: Erdos--Conway--Heuer--Birkbeck.
bottom of page