Research Grants
The following are current grants held by members of the Centre for Fundamental Computer Science that are of particular relevance:
Unrestricted donation: Formal verification of privacy propertiesPasquale Malacaria
£58,029 Meta Platforms Inc (01-10-2022 - 31-12-2025)