diff --git a/_people/gardner.md b/_people/gardner.md
index 511ecfcee37ee2cfd6578553f12bad2c07e663b4..64c0481c685a8fd40cfd472e3436b27654d188a5 100644
--- a/_people/gardner.md
+++ b/_people/gardner.md
@@ -13,7 +13,7 @@ projects:
   - infer
 ---
 Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at Imperial
-and leader of the Program Specification and Verification Group. 
+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.
 
@@ -24,6 +24,6 @@ Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the  Direct
 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.
 
-Philippa directs the Research Institute on Verified Trustworthy Software Systems (VeTSS), 
+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 (senior) and Roger Needham award (mid-career) for computer science and engineering.
+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.