Formal Methods in AI Rigorous foundations for trustworthy intelligent systems

Group members

Current group members, alumni, and visitors working on formal methods, logic, and machine learning for safe intelligent systems.

Current members

Dr. Francesco Belardinelli
Senior Lecturer, Principal Investigator
Head of Lab and Deputy Director of UKRI CDT in Safe and Trusted AI.
Omar Adalat
PhD Student
Verifiable and safe multi-agent reinforcement learning (2025-).
Maksim Anisimov
PhD Student
Improving robustness of neural networks using causal structure (2023-).
Alex Goodall
PhD Student
Robust world-model learning and shielding for reinforcement learning (2022-).
Titus Buckworth
PhD Student
Neuro-symbolic methods for AI (2022-).
Matt MacDermott
PhD Student
Model checking agents that learn (2021-).

Visitors

Dr. Edwin Hamel-de le Court
Postdoctoral Research Associate
Project: Abstraction-based technique for safe reinforcement learning (EPSRC NIA, 2023-25).
Terrence Fernandes
Internship
Masters' Project (Feb 2026 - May 2026)
Dr Farbod Faraji
Eric and Wendy Schmidt AI in Science Research Fellow
Project: Development and Application of Neuro-Symbolic AI to Fusion Plasma Science

Past members

Aamal Hussain
PhD Graduate (2019-24)
Asymptotic convergence and performance of multi-agent Q-learning dynamics.
Francis Rhys Ward
PhD Graduate (2020-2025)
Formalising and Evaluating Deception in AI Agents.
Borja Gonzalez Leon
PhD Graduate (2019-24)
Systematic grounded language learning in safety-aware autonomous agents.
Daniel Donnelly
MRes in AI (2023-24)
Runtime verification for safe and verifiable AI.
Luka Corliss
MRes in AI (2023-24)
Neuro-symbolic policy learning and representation for interpretable, verifiable reinforcement learning.
Nikolay Topol
MRes in AI (2022-23)
Explainable reinforcement learning with causality.
© 2025-2026 Formal Methods in AI