News
April 2026
Vasileios Klimis presents paper on "Beyond Specification Conformance" in Rio de Janeiro
Centre for Fundamentals of AI and Computational Theory
17 April 2026Vasileios Klimis has presented a paper on "Beyond Specification Conformance" at the 48th IEEE/ACM International Conference on Software Engineering in Rio de Janeiro It introduces a new way, based on a mathematical logic, that complements specifications to take into account the needs of users to improve the quality of ... [more]
1st AI: Brains and Bits Symposium
Centre for Fundamentals of AI and Computational Theory
13 April 2026The first QMUL AI: Brains and Bits symposium was held on 13 April 2026. It brought together researchers from across Science and Engineering to discuss the Fundamentals of AI including issues of how AI works and how it should work. It included talks from investigators from Biology, the Blizzard Institute, Physics, Maths, ... [more]
March 2026
Raymond Hu awarded a grant to investigate Distributed Dynamic Software Updates worth £646,000 working with Monzo Bank and SAP
Centre for Fundamentals of AI and Computational Theory
31 March 2026Raymond Hu has been awarded a New Investigator research grant worth £646,000 by EPSRC. The project is called "DymSUM - Distributed Dynamic Software Updates using Multiparty Session Types" and investigates a theory-based approach to how distributed software can evolve while running. The project involves collaboration with industrial partners at Monzo Bank ... [more]
Søren Riis and Marc Roth are joint winners of "Humanity's Last Exam" Competition
Centre for Fundamentals of AI and Computational Theory
20 March 2026Søren Riis and Marc Roth are both joint winners of the SafeAI Benchmark Competition "Humanity's Last Exam". The linked paper "A benchmark of expert-level academic questions to assess AI capabilities", co-authored by FACT researchers Søren Riis and Marc Roth, has been published in Nature. This paper accompanies the ... [more]
The effect of images on the ability of Large Language Models to predict human judgements of how acceptable sentences are.
Centre for Fundamentals of AI and Computational Theory
19 March 2026A new paper, "Predicting Sentence Acceptability Judgments in Multimodal Contexts", by a team including Shalom Lappin from the Centre for Fundamental AI and Computational Theory, explores the effect of images on the ability of Large Language Models (LLMs) to predict the ratings humans give to sentences over how acceptable they ... [more]
Søren Riis and Bei Zhou show AI's game-playing still has flaws
Centre for Fundamentals of AI and Computational Theory
13 March 2026New research published in Machine Learning shows pattern learning is not enough to train AI to tackle games – and abstract representations or hybrid approaches may help. See full story at: https://www.qmul.ac.uk/media/news/2026/science-and-engineering/se/ais-game-playing-still-has-flaws-research-shows.html [more]
January 2026
A new efficient algorithm for counting network motifs
Centre for Fundamentals of AI and Computational Theory
31 January 2026A paper about a new algorithm that counts important patterns in networks, by a team including Marc Roth from the Centre has been accepted by SODA 2026, the Symposium on Discrete Algorithms (the premier venue for foundations of algorithms research). "Network Motifs" are patterns in the structure of networks. A simple ... [more]
Raymond Hu's research on the design and implementation of the Go programming language published in POPL
Centre for Fundamentals of AI and Computational Theory
16 January 2026Raymond Hu and his coauthors presented their work, that is part of an ongoing collaboration with industry, on "Welterweight Go: Boxing, Structural Subtyping, and Generics" at the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) in Rennes, France. POPL is a top A* conference related to the theory, ... [more]