I'm a fourth-year PhD student, supervised by Rupak Majumdar.
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.