Research Grants

The following are current grants held by members of the Centre for Fundamentals of AI and Computational Theory that are of particular relevance:

  • Probabilistic Precision Tuning
    Fredrik Dahlqvist
    £49,636 Research Institute in Verified Trustworthy Software Systems
    01-10-2025 - 31-03-2026
  • Artificial Neuroscience: metrology and engineering for Deep Learning using Linear Algebra
    Mark Sandler and Boris Khoruzhenko
    £238,701 Engineering and Physical Sciences Research Council
    01-06-2025 - 30-11-2026
  • Learning from Each Other: Neural Networks and Finite Automata
    Fredrik Dahlqvist
    £15,000 Academy of Medical Sciences
    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