About me

I am now working at Diffblue. Before that, I was a 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 extended versions of this talk at Imperial College on May nth, 2017 (including some thoughts about modelling JavaScript concurrency using the underlying program logic) and at IST Austria on September 6th, 2017 (including an overview of DontWaitForMe).

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

I gave a talk on optimizing for asynchronous concurrency at the Aarhus Concurrency Workshop 2017.

Things from my projects

See also my GitHub account for my JavaScript work.

Legal Information

Imprint / Data Protection