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 properties
Pasquale Malacaria
£58,029 Meta Platforms Inc
01-10-2022 - 31-12-2025