Philippa Gardner

Philippa Gardner is a Professor in the Department of Computing at Imperial College London and Director of the Research Institute in Automated Program Analysis and Verification.

Education

Gardner's doctoral studies were supervised by Gordon Plotkin at the University of Edinburgh; she was awarded her PhD in 1992.[1] Her thesis was entitled: 'Representing Logics in Type Theory'.[2]

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.[3] she took a lectureship with Imperial College London in 2001. Gardner became a Professor in 2009.[4]

Her current research looks at program verification.[5] Gardner's role with the Research Insttitue in Automated Program Analysis and Verification is funded by GCHQ and the Engineering and Physical Sciences Research Council (EPSRC).[6]

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

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

References

  1. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.
  2. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.
  3. ↑ "Research Awards". Herald Scotland. Retrieved 13 October 2015.
  4. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.
  5. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.
  6. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.
  7. ↑ "Philippa Gardner". The Royal Society. Retrieved 13 October 2015.
  8. ↑ "Philippa Gardner". Imperial College London. Retrieved 13 October 2015.


This article is issued from Wikipedia - version of the 4/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.