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 p-adic automorphic forms, eigenvarieties and formalising number theoretic constructions in Lean.
​
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