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)