Ekanshdeep Gupta



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.