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:

  • Distributed Dynamic Software Updates using Multiparty Session Types
    Raymond Hu
    £516,891 Engineering and Physical Sciences Research Council
    01-04-2026 - 31-03-2029
  • Algorithmic Theory of Piecewise Maps
    Edon Kelmendi
    £202,936 Leverhulme Trust
    15-01-2026 - 14-01-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