About me

Introduction	I am a mathematics grad student with an engineering background. I love learning and helping others learn.
Interests	mathematical logic, univalent foundations, category theory, mathematical physics