Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Theoretical Computer Science



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




453Huxley BuildingSouth Kensington Campus





Philippa Gardner is a professor in the Department of Computing at Imperial. Her current research focusses on program verification: in particular, reasoning about web programs (JavaScript and DOM) and reasoning about concurrent programs. She is the leader of the Program Specification and Verification Group.
She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. 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. She is the Director of the Research Institute in Automated Program Analysis and Verification, funded by GCHQ in association with EPSRC.

Selected Publications


Gardner PA, Raad A, Villard J, 2015, CoLoSL: Concurrent Local Subjective Logic, 24th European Symposium on Programming, ESOP 2015, Springer, Pages:710-735, ISSN:0302-9743

Gardner P, Ntzik G, Wright A, 2014, Local Reasoning for the POSIX File System, 23rd European Symposium on Programming (ESOP), SPRINGER-VERLAG BERLIN, Pages:169-188, ISSN:0302-9743

Bodin M, Chargueraud A, Filaretti D, et al., 2014, A Trusted Mechanised JavaScript Specification, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery (ACM), Pages:87-100, ISSN:1523-2867

Pinto PDR, Dinsdale-Young T, Gardner P, 2014, TaDA: A Logic for Time and Data Abstraction, 28th European Conference on Object-Oriented Programming (ECOOP), SPRINGER-VERLAG BERLIN, Pages:207-231, ISSN:0302-9743

More Publications