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:

  • Algorithmic Theory of Piecewise Maps
    Edon Kelmendi
    £202,936 Leverhulme Trust
    01-06-2026 - 31-05-2029
  • Distributed Dynamic Software Updates using Multiparty Session Types
    Raymond Hu
    £516,891 Engineering and Physical Sciences Research Council
    01-04-2026 - 31-03-2029
  • 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 - 30-09-2026
  • Unrestricted donation: Formal verification of privacy properties
    Pasquale Malacaria
    £58,029 Meta Platforms Inc
    01-10-2022 - 31-12-2030