Graduate Student in Pure Mathematics. Interested in
On the side, I'm interested in learning about L-Theory, Homotopy Type Theory, Topos Theory and Constructive Mathematics.