diff --git a/_people/gardner.md b/_people/gardner.md index 3c269f1303bcca1ce3ea7efbe14549112abdb566..2b36728573e0d91b5c5bacee0c4b2c64ee6561b3 100644 --- a/_people/gardner.md +++ b/_people/gardner.md @@ -27,8 +27,8 @@ 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. +Fellowship at Imperial, 2005-2009. Philippa directs the [Research Institute on Verified Trustworthy Software Systems (VeTSS)](https://vetss.org.uk/), -funded by EPSRC and NCSC, 2017--2022. She is an organiser +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