Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
164 commits behind the upstream repository.
2018-09-02-fellowship.md 590 B 
title: Philippa Gardner, Established Career Fellowship, VeTSpec, Verified Trustworthy Software Specification

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.