Skip to content
Snippets Groups Projects
Commit fcae4ed3 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update gardner.md

parent 985fbd4e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
_people/gardner.md
+ 2
− 2
View file @ fcae4ed3
......@@ -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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment