Commit 0465479e authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia


parent e7455641
Pipeline #141665 passed with stages
in 8 minutes and 22 seconds
title: Philippa Gardner, Established Career Fellowship: VeTSpec: Verified Trustworthy Software Specification
Philippa Gardner was awarded a prestigious Established Career Fellowship by UK
Research and Innovation (UKRI).
Under the title [“VeTSpec: Verified Trustworthy Software Specification”](,
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
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment