Philippa Gardner

Philippa Anne Gardner
FREng FBCS
Born (1965-07-29) July 29, 1965 (age 59)
NationalityBritish
Alma mater
AwardsBCS Lovelace Medal (2024)
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 (online ed.). A & C Black. 1 December 2023. Retrieved 25 October 2024. (Subscription or UK public library membership required.)
  2. ^ "New Fellows 2020". Royal Academy of Engineering. 21 September 2020. Retrieved 22 September 2020.