Philippa Gardner has been awarded an Established Career Fellowship by the UK Research and Innovation (UKRI).

Under the title “VeTSpec: Verified Trustworthy Software Specification”, 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.