About Me

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.

Publications

• The well structured problem for Presburger counter machines Alain Finkel, Ekanshdeep Gupta; FSTTCS 2019 (pdf, bib)

Talks

• Talk on Gödel’s incompleteness theorems: recording, slides.
• Talk on Well Structured Problem for Presubrger counter machines: slides.

Misc

• Play Order and Chaos: web implementation of a 2 player game I learnt about from Tom Scott.
• Re-create the Droste Effect.
• Fun quines.