Arnav Dandu

Info | Research | Other

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