From 6d0ee744a99d4930d8ca688bf61f25f6008f3395 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 2 May 2019 10:04:53 +0100 Subject: [PATCH] Add new file --- _posts/2018-09-01-fellowship.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 _posts/2018-09-01-fellowship.md diff --git a/_posts/2018-09-01-fellowship.md b/_posts/2018-09-01-fellowship.md new file mode 100644 index 0000000..e6101c5 --- /dev/null +++ b/_posts/2018-09-01-fellowship.md @@ -0,0 +1,9 @@ +--- +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). + +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, +conceptual questions associated with bringing the scientific, mathematical method +to the specification of modern software systems. \ No newline at end of file -- GitLab