From 9f96d74014e6fefbf82491832aaa300d61f838c8 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 10 Nov 2016 16:53:34 +0000 Subject: [PATCH] Update gardner.md --- _people/gardner.md | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/_people/gardner.md b/_people/gardner.md index 81c1165..46660ff 100644 --- a/_people/gardner.md +++ b/_people/gardner.md @@ -8,16 +8,9 @@ projects: - web - concurrency --- -Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at -Imperial. Her current research focusses on program verification: in -particular, reasoning about web programs (JavaScript and DOM) and -reasoning about concurrent programs. +Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial. Her current research focusses on program verification: in +particular, reasoning about web programs (JavaScript and DOM) and reasoning about concurrent programs. -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 Automated Program Analysis and Verification](http://www.verificationinstitute.org), +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 Automated Program Analysis and Verification](http://www.verificationinstitute.org), funded by GCHQ in association with EPSRC. -- GitLab