I'm a PhD Student in Mathematics at UC Santa Barbara. I'm studying Topological Quantum Field Theory.
I'm currently very interested in proof formalization through Lean and mathematics with AI.
This is my CV. You can reach me via
Linked-In
Github
Blog