From 7d3e80bdafc027e6aa76d594af5a5854a7fed91d Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 17 Feb 2020 14:31:17 +0000 Subject: [PATCH] Update gardner.md --- _people/gardner.md | 29 +++++++++++++++++------------ 1 file changed, 17 insertions(+), 12 deletions(-) diff --git a/_people/gardner.md b/_people/gardner.md index 64c0481..52b32f4 100644 --- a/_people/gardner.md +++ b/_people/gardner.md @@ -12,18 +12,23 @@ projects: - moc - infer --- -Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial -and leader of the Verified Trustworthy Software Specification Group. -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](https://www.doc.ic.ac.uk/) at [Imperial College London](https://www.imperial.ac.uk/) +and has a UK Research and Innovation [Established Fellowship](https://gtr.ukri.org/projects?ref=EP%2FR034567%2F1) from 2018–2023. +Her research focusses on program specification and verification. In particular, +her group is credited with bringing logical abstraction and logical atomicity to +modern concurrent separation logics, and is currently developing the Gillian +platform for building symbolic analysis tools for real-world programming languages +such as C and JavaScript, which unifies classical symbolic execution, semi-automatic +verification based on separation logic, and automatic compositional testing based +on bi-abduction. -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 was the Director -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. +Gardner completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at +Edinburgh in 1992 and held five years of fellowships at Edinburgh. 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 at Imperial, 2005--2009. 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, -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. +funded by EPSRC and NCSC, 2017--2022. She is an organiser +of the [Isaac Newton Institute six-week summer programme on `Verified Software', 2020[(http://www.newton.ac.uk/event/vso). \ No newline at end of file -- GitLab