Add new file

_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). 
+
+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