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

---
 _people/gardner.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_people/gardner.md b/_people/gardner.md
index 2b36728..cbb6459 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](https://www.doc.ic.ac.uk/) at [Imperial College London](https://www.imperial.ac.uk/)
-and has a UK Research and Innovation [Established Fellowship](https://gtr.ukri.org/projects?ref=EP%2FR034567%2F1) from 2018–2023.
+and has a UK Research and Innovation [Established Fellowship](https://gtr.ukri.org/projects?ref=EP%2FR034567%2F1) from 2018-2023.
 Her research focusses on program specification and verification. In particular, 
 her group is credited with bringing logical abstraction and logical atomicity to 
 modern concurrent separation logics, and is currently developing the Gillian 
-- 
GitLab