Interests
Number theory
- Class field theory
Lean
- quadratic forms
- Theta series
- Congruence subgroups
Linux
- I am writing a window manager in Zig.
Publications
- Understanding the factorization of polynomials modulo p via modular forms (TFM, Setembre 2020)
- Geodèsiques en l’elipsoide de Monge (TFG, Juny 2019)