Overview
- Formal proof verification
- Algebraic number theory
- The Langlands Philosophy
Research Staff
Dee,J
Gee,T
Research Student Supervision
Gee,T, Companion Forms Over Totally Real Fields
Jacobs,D, Slopes of Compact Hecke Operators
Joyce,A, The Manin Constants of Modular Abelian Varieties
Kilford,L, Slopes of Overconvergent Modular Forms
Loeffler,D, Overconvergent Algebraic Automorphic Forms
Narayanan,A, Formalising Iwasawa theory
Nevens,E, The Hecke Operator U_p for Overconvergent Hilbert Modular Forms
Paulin,A, Local to Global Compatibility on the Eigencurve
Sasaki,S, Arithmetic of p-Adic Hilbert Modular Forms
Singer,R, On tilts of certain infinite level Shimura varieties
Snaith,D, Overconvergent Siegel Modular Symbols
Zhang,J, Formalising GAGA