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.