Hey! I am a BMath (honours) student double majoring in Pure mathematics and Combinatorics & Optimization at the University of Waterloo, Canada.
My primary research interests are in the field of algebraic number theory, arithmetic algebraic geometry, cryptology and proof formalization. Specifically, I am interested in understanding:
- Higher dimensional Galois representations (infinite Galois theory) attached to automorphic forms and algebraic stacks over local and global fields (arithmetic Langland's program)
- Theory of cyclotomic fields (Iwasawa Theory) and Class field theory
- Dedekind ζ-function and Hecke L-function (generalizations of Riemann ζ-function and Dirichlet L-functions for a number field)
- Scholze's theories (perfectoid spaces, prismatic cohomology, condensed mathematics et al.)
- Mathematics of Theoretical Cryptology and Proof formalization (in L∃∀N)