diff --git a/_posts/2018-09-01-fellowship.md b/_posts/2018-09-01-fellowship.md index e6101c5636bab431ed73c4db28c1a6ee817d857c..32402aea85af8fe2079ad37fa02d8402598fd443 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,