diff --git a/_posts/2018-09-01-fellowship.md b/_posts/2018-09-01-fellowship.md new file mode 100644 index 0000000000000000000000000000000000000000..67514aef4a723f6a6f97776b107184557eb873fc --- /dev/null +++ b/_posts/2018-09-01-fellowship.md @@ -0,0 +1,11 @@ +--- +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 +), 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