Arnav Dandu

Info | Research | Other

adandu at umass dot edu

My CV - (may be behind website)

I am an incoming computer science PhD student at UMass Amherst, advised by Prof. Yuriy Brun. My primary research interests are proof assistants, category theory, and type theory.

I do a lot of work with the Lean proof assistant. A few projects I’ve worked on include:

• Formalizing the Auslander-Buchsbaum-Serre theorem (UCSD Math)
• Formalizing a grammar-constrained decoding algorithm (UCSD ProgSys).

I am always happy to answer questions via email! Make sure to follow up if you do not receive a response. I do not actively check LinkedIn.

Education