Ekanshdeep Gupta

About Me

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.

Publications

• 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)

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.