I am a 5th 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 programming languages, formal methods, verification, and automated reasoning, and I am currently working on using separation logic to verify real world concurrent search structures.
In summer of 2023, I interned at Amazon Web Services in the Automated Reasoning Group working on Dafny.
In summer of 2022 I interned at Amazon Web Services in the S3 Automated Reasoning Group.
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.
Raven: An SMT-Based Concurrency Verifier
Ekanshdeep Gupta, Nisarg Patel, Thomas Wies
CAV 2025 (pdf, GitHub)
Arithmetizing Shape Analysis
Sebastian Wolff, Ekanshdeep Gupta, Zafer Essen, Hossein Hojjat, Philip Rummer, Thomas Wies
CAV 2025 (arXiv)
The Well Structured Problem for Presburger Counter Machines
Alain Finkel, Ekanshdeep Gupta
FSTTCS 2019 (pdf, bib)