From bee977ed0e28f02133b5ee958769327829700e7c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 2 May 2019 10:05:36 +0100 Subject: [PATCH] Update 2018-09-01-fellowship.md --- _posts/2018-09-01-fellowship.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2018-09-01-fellowship.md b/_posts/2018-09-01-fellowship.md index e6101c5..32402ae 100644 --- a/_posts/2018-09-01-fellowship.md +++ b/_posts/2018-09-01-fellowship.md @@ -1,7 +1,7 @@ --- title: Philippa Gardner, Established Career Fellowship: VeTSpec: Verified Trustworthy Software Specification --- -Philippa Gardner was awarded a prestigious Established Career Fellowship by the UK Research and Innovation (UKRI). +Philippa Gardner has been awarded an Established Career Fellowship by the UK Research and Innovation (UKRI). Under the title [“VeTSpec: Verified Trustworthy Software Specification”](https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/R034567/1), the five-year fellowship will support Philippa work in exploring the fundamental, -- GitLab