Show Summary Details

Page of

 Printed from WHO'S WHO & WHO WAS WHO. Under the terms of the licence agreement, an individual user may print out a single article for personal use.

date: 02 July 2020

Gardner, Prof. Philippa Anne free


Born Exeter 29 June 1965; d of Kenneth Leslie Gardner and Pamela Joyce Gardner; partner, 2012, William Thomas Pike

Professor of Theoretical Computer Science, Imperial College London, since 2009


St Hugh’s Coll., Oxford (MA Maths); Univ. of Bristol (MSc Logic and Computation); Univ. of Edinburgh (PhD Theoretical Computer Sci. 1992). FBCS 2009


Postdoctoral Fellow, Univ. of Edinburgh, 1992–97; Teaching Fellow and Dir of Studies, St John’s Coll., Cambridge, 1997–2000; EPSRC Advanced Fellow, Univ. of Cambridge and Imperial Coll. London, 1997–2001; Imperial College London: Lectr, 2000–04; Sen. Lectr, 2004–06; Microsoft Res. and RAEng Sen. Res. Fellow, 2005–10; Reader, 2006–09; Dir, Res. Instn on Automated Prog. Analysis and Verification, 2013–16; Dir, Res. Instn on Verified Trustworthy Software Systems, 2017–


contribs to jls on analysis and verification, programming languages and theoretical computer sci.


classical singing


Department of Computing, 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ