Philippa Anne Gardner FREng (born 29 July 1965) is a British computer scientist and academic.
[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.
[8] Gardner was on the Newton International Fellowships Committee: Physical Sciences, for The Royal Society, from 2010 to 2012.
[4] A major project she pursues is building Gillian, a platform for developing symbolic analysis tools.