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: http://www.doc.ic.ac.uk/~pg/

Contributions

OPCT 2019Session Chair of Cyberphysical Systems, Hybrid Systems (part of OPCT 2019)
PLMW 2019Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
ECOOP 2019Author 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 2019Author 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 2018Committee Member in External Review Committee
POPL 2018Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track
Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track
JSTools 2016Author of JavaScript Verification within the JSTools-track
ECOOP 2018Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
ESOP 2015Author of CoLoSL: Concurrent Local Subjective Logic within the ESOP-track
Committee Member in Steering Committee
SPLASH 2015Author of Reasoning about the POSIX File System: Local Update and Global Pathnames within the OOPSLA-track
ECOOP 2015Presenter of Modern Concurrent Separation Logics within the Summer School-track