Gardner, Philippa
Edit Page
Report
Scan day: 05 March 2014 UTC
8
Virus safety - good
Description: Imperial College, UK.
pgXdoc.ic.ac.uk (replace X by @) Philippa Gardner is a professor in the at Imperial. Her current research focusses on program verification: in particular, She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is the Director of the Research Institute in Automatic Program Analysis and Verification, funded by GCHQ in association with EPSRC.
Size: 683 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Philippa Gardner |
| Keywords: | |
| Description: | |
| IP-address: | 146.169.13.56 |