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

Update gardner.md

parent 7d3e80bd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_people/gardner.md
+ 1
− 1
View file @ 985fbd4e
......@@ -31,4 +31,4 @@ 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', 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