From fcae4ed3a220a81944338edc7f0790b6ce26f974 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 17 Feb 2020 14:34:23 +0000
Subject: [PATCH] Update gardner.md

---
 _people/gardner.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_people/gardner.md b/_people/gardner.md
index 3c269f1..2b36728 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
-- 
GitLab