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

PhD; FBCS

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

Education

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

Career

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–

Publications

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

Recreations

classical singing

Address

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