About me

I'm a fourth-year PhD student, supervised by Rupak Majumdar.

My research interests include static analysis, program logics and type systems, concurrency (in particular, asynchronous concurrency) and, in general, the application of logic to verification. Recently, I have also become interested in JavaScript and web applications.

Refereed Publications


The slides from CAV 2013 on the Incremental, Inductive Coverability paper.
I gave the talk at CAV in St. Petersburg, on July 19th, 2013, and at at a FORTISS seminar in Munich on July 29th, 2013.

The slides from ECOOP 2015 on the Asynchronous Liquid Separation Types paper.
I gave this talk at ECOOP in Prague, on July 9th, 2015 and at the University of British Columbia on October 13th, 2015.

I gave a talk on Equivalence Testing for JavaScript Transformations on October 23, 2015 at UC San Diego, and at the Yale PL Day 2015

Things from my projects

See also my GitHub account for my JavaScript work.