Gardner, Prof. Philippa Anne
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.
Department of Computing, 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ