Skip to content
Snippets Groups Projects
Commit d5e4b9b1 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Add new file

parent 376fe553
No related branches found
No related tags found
No related merge requests found
---
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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment