Arnav Dandu

adandu at umass dot edu

My CV

I am an incoming computer science PhD student at UMass Amherst, advised by Prof. Yuriy Brun. My research interests are in automated formal verification, proof assistants, logic, type theory, and programming languages.

I received my BS in Computer Science and BS in Mathematics from UC San Diego, where I worked on two formalization projects using the Lean proof assistant:

Formalizing the Auslander-Buchsbaum-Serre theorem in commutative algebra for integration into Mathlib, with the UCSD Department of Mathematics.
Formalizing an algorithm for flexible and efficient grammar-constrained decoding to ensure LLM outputs adhere to specified syntactic rules, with the UCSD Programming Systems Group.

Education

University of Massachusetts Amherst

Sep 2026 – PhD, Computer Science

Advisor: Prof. Yuriy Brun

UC San Diego

Aug 2022 – Jun 2026

BS, Mathematics BS, Computer Science