Philippa Gardner

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 Fellow of the Royal Academy of Engineering.[2]

Philippa Anne Gardner
Born1965 (age 5758)
NationalityBritish
Alma mater
Scientific career
Fields
InstitutionsImperial College
ThesisRepresenting Logics in Type Theory (1992)
Doctoral advisorGordon Plotkin
Websitehttps://www.doc.ic.ac.uk/~pg/

Early life and education

Gardner was born on 29 July 1965 in Exeter, Devon, England.[1] In 1988, she got her M.Sc. degree 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 Doctor of Philosophy (PhD) degree in 1992.[4] Her doctoral thesis was titled "Representing Logics in Type Theory".[5][6]

Career

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-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]

Her current research looks at program verification.[4] A major project she pursues is building Gillian, a platform for developing symbolic analysis tools.[9] Gardner's role with the Research Institute in Automated Program Analysis and Verification is funded by GCHQ and the Engineering and Physical Sciences Research Council (EPSRC).[4]

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

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

References

  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.
  3. Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 0-262-12156-5.
  4. "Philippa Gardner: Biography". Imperial College London. Retrieved 13 October 2015.
  5. "Philippa Gardner: Publications". Imperial College London. Archived from the original on 19 December 2015. Retrieved 13 October 2015.
  6. Philippa Gardner at the Mathematics Genealogy Project
  7. "Research Awards". Herald Scotland. Retrieved 13 October 2015.
  8. "Philippa Gardner - PLDI 2023". PLDI 2023. Retrieved 11 May 2023.
  9. "Gillian". Retrieved 11 May 2023.
  10. "Philippa Gardner". The Royal Society. Retrieved 13 October 2015.
  11. "Philippa Gardner: Awards and Fellowships". Imperial College London. Retrieved 13 October 2015.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.