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.

Email: c (dot)

bottom of page