I am a pure math student attending Imperial College London for an MSc in Pure Mathematics this fall. Before that, I attended Harvard College.
In mathematics, I am particularly interested in commutative algebra, formalization, and AI for math. I also study and speak Russian.
- GitHub
- github.com/rgrossharv