Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial
Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial
and leader of the Program Specification and Verification Group.
and leader of the Verified Trustworthy Software Specification Group.
Her current research focusses on program verification: in particular, reasoning about Web programs
Her current research focusses on program verification: in particular, reasoning about Web programs
(JavaScript and DOM) and reasoning about concurrent programs.
(JavaScript and DOM) and reasoning about concurrent programs.
...
@@ -24,6 +24,6 @@ Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the Direct
...
@@ -24,6 +24,6 @@ Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the Direct
of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
funded by GCHQ in association with EPSRC from 2013 to 2017.
funded by GCHQ in association with EPSRC from 2013 to 2017.
Philippa directs the Research Institute on Verified Trustworthy Software Systems (VeTSS),
Philippa directs the [Research Institute on Verified Trustworthy Software Systems (VeTSS)](https://vetss.org.uk/),
funded by EPSRC, from 2017 to 2022. She also chairs the BCS awards committee,
funded by EPSRC, from 2017 to 2022. She also chairs the BCS awards committee,
which decides the Lovelace medal (senior) and Roger Needham award (mid-career) for computer science and engineering.
which decides the [Lovelace medal](http://www.bcs.org/category/5932)(senior) and [Roger Needham award](http://www.bcs.org/category/5941)(mid-career) for computer science and engineering.
