Projects & Code

Current collaborations

Links will be available shortly.

1. Construction of high dimensional lattice error correction codes over \(\mathbb F_3\)
2. Sato-Tate distributions for higher dimensional abelian varieties
3. Computing automorphic forms over abelian varieties
4. Murmurations in arithmetic geometry and number theory

Side burner projects

1. Learning Lean and Coq
2. Foundations of mathematics, especially HoTT à la Voevodsky
3. Solving Project Euler. Similar to project euler, here are a few more coding/problem solving challenges.
4. \(\lambda\)-calculus and programming Turing machines

I am a huge fan of projects like Infinitely Large Napkin, and the Stacks Project.