Philippa Gardner is a professor in the Department of Computing at Imperial College London and has a UK Research and Innovation Established Fellowship from 2018-2023.
Gardner 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 at Imperial, 2005--2009.
Philippa directs the Research Institute on Verified Trustworthy Software Systems (VeTSS) funded by EPSRC and NCSC, 2017-2022. She is an organiser of the Isaac Newton Institute six-week summer programme on `Verified Software', 2020.
et al., 2020, Gillian, Part I: a multi-language platform for symbolic execution, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), Association for Computing Machinery, Pages:927-942
et al., A trusted infrastructure for symbolic analysis of event-driven web application, 34th European Conference on Object-Oriented Programming (ECOOP 2020), Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, ISSN:1868-8969
et al., Data Consistency in Transactional Storage Systems: a Centralised Approach, 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)
et al., 2019, A program logic for first-order encapsulated WebAssembly, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)., Leibniz-Zentrum für Informatik, Dagstuhl Publishing, ISSN:1868-8969
Gardner P, Smith GD, Wright AD, Resource Reasoning about Mashups, Verified Software: Theories, Tools and Experiments, VSTTE’10, VS-Theory workhsop