Commit b80bcb5b authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update gardner.md

parent 85ca3bf2
Pipeline #170699 passed with stages
in 3 minutes and 15 seconds
......@@ -28,8 +28,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
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
of the [Isaac Newton Institute six-week summer programme on `Verified Software', 2021](http://www.newton.ac.uk/event/vso). In 2020 she was elected a [Fellow of the Royal Academy of Engineering](https://www.raeng.org.uk/about-us/the-fellowship/new-fellows-2020/fellows/professor-philippa-gardner).
Markdown is supported
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