Imperial College London

ProfessorPhilippaGardner

Faculty of EngineeringDepartment of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

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.
Her research focuses on program specification and verification. In particular, her group is credited with bringing logical abstraction and logical atomicity to modern concurrent separation logics, and is currently developing the Gillian platform for building symbolic analysis tools for real-world programming languages such as C and JavaScript, which unifies classical symbolic execution, semi-automatic verification based on separation logic, and automatic compositional testing based on bi-abduction.

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.

Publications

Conference

Watt C, Maksimovic P, Neelakantan R. K, 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

Bodin M, Gardner P, Jensen T, et al., 2019, Skeletal semantics and their interpretations, ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ), Association for Computing Machinery, ISSN:2475-1421

Fragoso Santos J, Maksimovic P, Cunha Sampaio G, et al., 2019, JaVerT 2.0: Compositional Symbolic Execution for JavaScript, ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, ISSN:2475-1421

Faustino Fragoso Femenin Dos Santos J, Maksimovic P, Grohens T, et al., 2018, Symbolic execution for JavaScript, 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, ACM

More Publications