Philippa Gardner was the invited speaker at the March 17 edition of the Colloquium d’Informatique de L’UPMC Sorbonne Universités.

Philippa gave a talk entitled “Understanding and Verifying JavaScript Programs”, where she described JaVerT, a JavaScript Verification Toolchain which provides the first logic-based symbolic analysis tool for JavaScript. The monthly Colloquia are organised by the Laboratoire d’informatique de Paris 6 (LIP6), a computer science research laboratory in the Pierre et Marie Curie University in Paris, France. LIP6 has focused its research on the modeling and the resolution of fundamental problems driven by applications, as well as to the implementation and the validation through academic and industrial partnerships.