Philippa Gardner

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Philippa Anne Gardner
FREng FBCS
File:Philipa Gardner SSFT 2025.jpg
Born (1965-06-29) 29 June 1965 (age 60)
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 June 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]

Early life and education

[edit | edit source]

Gardner was born on 29 June 1965 in Exeter, Devon, England.[1] In 1988 she completed an MSc in logic and computation from Bristol University, supervised by John Shepherdson. Her doctoral studies were supervised by Gordon Plotkin at the University of Edinburgh;[3]: 724  she was awarded her PhD in 1992.[4] Her doctoral thesis was titled "Representing Logics in Type Theory".[5][6]

Career

[edit | edit source]

After being awarded an EPSRC Advanced Fellowship at Cambridge University with Robin Milner, Gardner held a BP Research Fellowship with The Royal Society of Edinburgh between 1994 and 1996.[7] She took a lectureship with Imperial College London in 2001. She was appointed Professor of Theoretical Computer Science in 2009.[1][4] From 2018 to 2023 she was awarded a UKRI Established Fellowship.[8]

Gardner was on the Newton International Fellowships Committee: Physical Sciences, for The Royal Society, from 2010 to 2012.[9]

Gardner's role with the Research Institute in Automated Program Analysis and Verification was funded by GCHQ and the Engineering and Physical Sciences Research Council (EPSRC).[4]

Gardner was awarded the President & Rector's Award for Excellence in Teaching at Imperial College London in 2013[10] and for Excellence in Research Supervision in 2019.[11]

Her current research looks at program verification.[4] A major project she pursues is building Gillian, a platform for developing symbolic analysis tools.[12]

References

[edit | edit source]
  1. ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (Subscription or UK public library membership required.)
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  5. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  6. ^ Philippa Gardner at the Mathematics Genealogy Project
  7. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  8. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  9. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  10. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  11. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  12. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).

Retrieved from "http://70.231.62.181/index.php?title=Philippa_Gardner&oldid=22202487"