Philippa Gardner

Not registered as user yet

Name: Philippa Gardner

Bio: Philippa Gardner is a professor in the Department of Computing at Imperial College London and and has a UKRI Established Fellowship from 2018–2023. Her current research focusses on program verification: in particular, reasoning about Web programs (JavaScript and DOM); and reasoning about concurrent programs. She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992 and held five years of fellowships at Edinburgh. She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship from 2005 to 2010 at Imperial. Philippa directs the Research Institute on Verified Trustworthy Software Systems (VeTSS), funded by EPSRC, from 2017 to 2022. She chaired the BCS awards committee, 2013-2018, which decides the Lovelace medal (senior) and Roger Needham award (mid-career) for computer science and engineering.

Country: United Kingdom

Affiliation: Imperial College London

Personal website:

Research interests: Programming languages


REMS-DeepSpec 2020 Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
Presenter of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track
ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track
Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track
Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track
SPLASH 2020 Author of Gillian: a Multi-language Platform for Compositional Symbolic Analysis within the REBASE-track
HASE 2020 Speaker of Interactive Knowledge Shares within the HASE 2020-track
PLDI 2020 Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track
OPCT 2019 Session Chair of Cyberphysical Systems, Hybrid Systems (part of OPCT 2019)
PLMW 2019 Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
ECOOP 2019 Author of Gillian: A General Static Analysis Framework based on Separation Logic within the Summer School-track
Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track
POPL 2019 Author of Skeletal Semantics and their Interpretations within the Research Papers-track
Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track
PLDI 2018 Committee Member in External Review Committee
POPL 2018 Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track
Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track
JSTools 2016 Author of JavaScript Verification within the JSTools-track
ECOOP 2018 Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track
POPL 2016 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
ESOP 2015 Author of CoLoSL: Concurrent Local Subjective Logic within the ESOP-track
Committee Member in Steering Committee
SPLASH 2015 Author of Reasoning about the POSIX File System: Local Update and Global Pathnames within the OOPSLA-track
ECOOP 2015 Presenter of Modern Concurrent Separation Logics within the Summer School-track
SPLASH 2011 Author of A Simple Abstraction for Complex Concurrent Indexes within the OOPSLA-track