I am a 3rd year Computer Science doctoral student at Courant Institute of Mathematical Sciences, New York University. I am being advised by Thomas Wies.
My interests lie broadly in logic, formal methods, verification, and automated reasoning, and I am currently working on generalizing separation logic to verify real world concurrent search structures.
In summer of 2022 I was an intern at Amazon Web Services in the S3 Automated Reasoning Group, where I worked on building a light-weight executable specification for the S3 API.
Previously, in summer of 2019 I worked at Laboratoire Spécification et Vérification with Alain Finkel on extending the well-structuredness framework to a more general class of Presburger machines.
I received a bachelors degree in mathematics and computer science from Chennai Mathematical Institute.
Find my CV attached here.
- Talk on Gödel’s incompleteness theorems: recording, slides.
- Talk on Well Structured Problem for Presubrger counter machines: slides.