Arnav Dandu
Email: adandu at ucsd dot edu
I am a computer science and mathematics double major at UCSD with a broad interest in theoretical computer science and algebra. Right now, most of my work is related to formalizing commutative algebra with the Lean theorem prover.