Anish Ahuja

I’m a first-year PhD student at New York University. I’m advised by Thibault Dardinier and a member of the ACSys group. Prior to my PhD, I worked on the Alexa team at Amazon.

I received my Bachelors in Computer Science and Math at UC Davis, where I was a member of DavisPL, led by Caleb Stanford.

I’m interested in programming languages, formal methods, and automated verification. In particular, my goal is to develop sound theoretical foundations for SMT solvers and verification languages to build user-friendly, reliable tools for correctness properties.

Preprints

Powered by Jekyll and Minimal Light theme.