From 0465479edf25c5dff6bb99c039b89d14c97ff12a Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 22 Apr 2020 17:01:44 +0100 Subject: [PATCH] Delete 2018-09-01-fellowship.md --- 2018-09-01-fellowship.md | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 2018-09-01-fellowship.md diff --git a/2018-09-01-fellowship.md b/2018-09-01-fellowship.md deleted file mode 100644 index 359785c..0000000 --- a/2018-09-01-fellowship.md +++ /dev/null @@ -1,10 +0,0 @@ ---- -title: Philippa Gardner, Established Career Fellowship: VeTSpec: Verified Trustworthy Software Specification ---- -Philippa Gardner was awarded a prestigious Established Career Fellowship by UK -Research and Innovation (UKRI). - -Under the title [“VeTSpec: Verified Trustworthy Software Specificationâ€](https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/R034567/1), -this five-year fellowship aims to support Philippa’s goal of exploring the fundamental, -conceptual questions associated with bringing the scientific, mathematical method -to the specification of modern software systems. \ No newline at end of file -- GitLab