Philippa Gardner

Philippa Anne Gardner
FREng
Born (1965-07-29) July 29, 1965 (age 59)
NationalityBritish
Alma mater
Scientific career
Fields
InstitutionsImperial College
ThesisRepresenting Logics in Type Theory (1992)
Doctoral advisorGordon Plotkin
Websitehttps://www.doc.ic.ac.uk/~pg/

Philippa Anne Gardner FREng (born 29 July 1965) is a British computer scientist and academic. She has been Professor of Theoretical Computer Science at the Department of Computing, Imperial College London since 2009. She was director of the Research Institute in Automated Program Analysis and Verification between 2013 and 2016.[1] In 2020 Gardner was elected a Fellow of the Royal Academy of Engineering.[2]

  1. ^ 'GARDNER, Prof. Philippa Anne', Who's Who 2017, A & C Black, an imprint of Bloomsbury Publishing plc, 2017; online edn, Oxford University Press, 2016; online edn, Nov 2016 accessed 29 July 2017
  2. ^ "New Fellows 2020". Royal Academy of Engineering. 21 September 2020. Retrieved 22 September 2020.