Research Grants
The following are current grants held by members of the Centre for Fundamental Computer Science that are of particular relevance:
- Learning from Each Other: Neural Networks and Finite Automata
Fredrik Dahlqvist
£15,000
14-03-2025 - 13-03-2026 - Unrestricted donation: Formal verification of privacy properties
Pasquale Malacaria
£58,029 Meta Platforms Inc
01-10-2022 - 31-12-2025