*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly