News
June 2026
Pasquale Malacaria and Yunxiao Zhang: Strategic Decision-Making in Uncertain Turn-Based Security Games
Centre for Fundamentals of AI and Computational Theory
1 June 2026Pasquale Malacaria and Yunxiao Zhang have a paper published in a top security journal, IEEE Transactions on Information Forensics and Security (TIFS), on Strategic Decision-Making in Uncertain Turn-Based Security Games. The paper studies the problem of cybersecurity decision making. It extends previous Leader-Follower game-theoretical models where the leader is the ... [more]
May 2026
Przemek Wałęga paper on graph neural networks awarded "spotlight paper" distinction
Centre for Fundamentals of AI and Computational Theory
14 May 2026Przemek Wałęga is part of a team that has had a paper accepted at the Forty-Third International Conference on Machine Learning (ICML) in Seoul, South KoreaJuly 6th - 11th, 2026. It is one of the three main machine learning conferences. Their paper shows that graph neural networks have "winning tickets": ... [more]
Przemek Wałęga has 2 papers accepted at the top conference on Knowledge Representation
Centre for Fundamentals of AI and Computational Theory
8 May 2026Przemyslaw Wałęga has had two full papers (and 2 further extended abstract papers) accepted for the 23rd International Conference on Principles of Knowledge Representation and Reasoning, July 20-23, 2026 - Lisbon, Portugal. KR is the main conference paper on knowledge representation and reasoning, which takes place as part of FLoC. The ... [more]
April 2026
Vasileios Klimis: Turning a Compiler Against Itself
Centre for Fundamentals of AI and Computational Theory
29 April 2026Vasileios Klimis will be presenting a paper at the 34th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering to be held 5 - 9 July 2026 in Montreal, Canada. It introduces a new way to validate compilers and so make all software created using them potentially more ... [more]
Vasileios Klimis: Noise Fingerprints and Quantum Simulators
Centre for Fundamentals of AI and Computational Theory
28 April 2026Vasileios Klimis is part of a team that have a paper accepted for the 19th IEEE International Conference on Software Testing, Verification and Validation in Daejeon, Republic of Korea to be held 18-22 May It concerns Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis. Quantum algorithms are tested on quantum ... [more]
Flip the Script: supporting better university progression
Centre for Human-Centred Computing
21 April 2026Paul Curzon and Edmund Robinson were part of the expert panel at the Flip the Script participatory design workshop at the British Computer Society offices. The aim of the meeting was to co-develop a new practice model that can help Computing departments across the UK to support better progression and ... [more]
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]
Humans vs Vision-Language Models
Centre for Human-Centred Computing
26 March 2026Shalom Lappin is part of a team centred at the Centre for Linguistic Theory and Studies in Probability (CLASP) at the University of Gothenburg that have published new work on a comparison of Humans vs Vision-Language Models It proposes a unified way to measure narrative coherence in writing about about ... [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]
Przemek Wałęga has three papers published at Artificial Intelligence conference, AAAI 2026
Centre for Fundamentals of AI and Computational Theory
14 March 2026Przemek Wałęga had three papers publlished in the Proceedings of the AAAI Conference on Artificial Intelligence, 2026 with the papers presented at the conference January 20–27, 2026, in Singapore. Abstract: Graph Neural Networks (GNNs) address two key challenges in applying deep learning to graph-structured data: they handle varying size input graphs and ... [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]
February 2026
Przemek Wałęga: Preservation Theorems for Unravelling-Invariant Classes
Centre for Fundamentals of AI and Computational Theory
2 February 2026Przemek Wałęga working with Bernardo Grau at the University of Oxford has devised a new way to prove old and new results including an open problem about graph neural networks. Paper Title Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks Abstract We ... [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]