I'm a PhD Student in Mathematics at UC Santa Barbara. I'm studying Topological Quantum Field Theory under the supervision of Professor Zhenghan Wang.
I'm currently very interested in proof formalization through Lean and mathematics with AI.
This is my CV. You can reach me via
