From 0d34896e1f5301ca455eba1a24348ccfee48a1a6 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 1 May 2019 17:01:32 +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 67514ae..0a16950 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 +Philippa Gardner was awarded a prestigious Established Career Fellowship by UK Research and Innovation (UKRI). Under the title [“VeTSpec: Verified Trustworthy -- GitLab