Update 2018-09-01-fellowship.md

_posts/2018-09-01-fellowship.md

 ---
 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,