Name Philippa Gardner | ||
 | ||
Hope 2014 verifying security properties of ses programs philippa gardner
Philippa Anne Gardner (born 29 July 1965) is a British computer scientist and academic. She has been Professor of Theoretical Computer Science at Imperial College London since 2009. She was Director of the Research Institute in Automated Program Analysis and Verification between 2013 and 2016.
Contents
- Hope 2014 verifying security properties of ses programs philippa gardner
- Early life and education
- Career
- References
Early life and education
Gardner was born on 29 July 1965 in Exeter, Devon, England. 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.
Her current research looks at program verification. 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.