Philippa Anne Gardner (born 29 July 1965) is a British

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

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.'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 201
accessed 29 July 2017
/ref> In 2020 Gardner was elected Fellow of the

Royal Academy of Engineering The Royal Academy of Engineering (RAEng) is the United Kingdom's national academy of engineering. The Academy was founded in June 1976 as the Fellowship of Engineering with support from Prince Philip, Duke of Edinburgh, who became the first senior ...

Early life and education

Gardner was born on 29 July 1965 in

Exeter Exeter () is a city in Devon, South West England. It is situated on the River Exe, approximately northeast of Plymouth and southwest of Bristol. In Roman Britain, Exeter was established as the base of Legio II Augusta under the personal comm ...

, Devon, England. In 1988, she got her M.Sc. degree in logic and computation from

Bristol University , mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'') , established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter , type ...

, supervised by John Shepherdson. Her doctoral studies were supervised by Gordon Plotkin at the University of Edinburgh; she was awarded her Doctor of Philosophy (PhD) degree in 1992. Her doctoral thesis was titled "Representing Logics in Type Theory".

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. She took a lectureship with Imperial College London in 2001. She was appointed Professor of Theoretical Computer Science in 2009. From 2018 to 2023 she was awarded a UKRI Established Fellowship. Her current research looks at program verification. A major project she pursues is building Gillian, a platform for developing symbolic analysis tools. 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). Gardner was on the Newton International Fellowships Committee: Physical Sciences, for The Royal Society, from 2010 to 2012. Gardner was awarded the President & Rector's Award for Excellence in Teaching at Imperial College London in 2013.

References

{{DEFAULTSORT:Gardner, Philippa 1965 births Living people Alumni of the University of Edinburgh British computer scientists British women computer scientists Theoretical computer scientists Scientists from Exeter Academics of the Department of Computing, Imperial College London Fellows of the Royal Academy of Engineering Female Fellows of the Royal Academy of Engineering