William Coram

Hi, I am a first year PhD student in the ANTLR group, my supervisors are Chris Birkbeck and Shaun Stevens. My project title is "Modular forms and formalisation"; more specifically I work in the field of number theory and look at the slopes of compact Hecke operators over Quaternionic modular forms. I am in the process of formalising some of these results using the programming language Lean.

I previosuly studied at the University of Warwick, where I graduated in 2023 with a first class MMath.