I am now working at Diffblue. Before that, I was a 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 a talk on optimizing for asynchronous concurrency at the Aarhus Concurrency Workshop 2017.