Research students
A list of AIAI research students
| PhD Student | Research Topic | |
| Najwa Alghamdi | ||
 |
Claire Barale | Enabling Ethical Human-AI Reasoning in International Law |
 |
Jake Barrett | Algorithmic design and multi-agent behavioural analysis for democratic innovations. |
 |
Lauren Delong |
The Usage and Improvement of Neurosymbolic AI for Biomedical Applications |
 |
Jona Feldstein | I am interested the unification of relational models and probabilistic AI, with a focus on property based testing in probabilistic programming. |
 |
Jorge Gaete Villegas | My research focuses on Explainable AI in the Healthcare domain. |
 |
Bhargavi Ganesh | Interests lie broadly within the field of AI ethics, with a focus on how philosophical notions of responsibility can be used to develop organizational, technical, and regulatory norms and tools for both identifying/addressing harms that may arise through certain implementations of AI systems, and enabling actors within the AI supply chain. |
 |
Zonglin Ji | Understanding Intensive Care Patients' Clinical Pathways using AI. |
 |
Patrick Kage | My research focuses on how we can train models for downstream tasks with incomplete or inaccurate information, borrowing from semi-supervised learning and explainability methods. |
 |
Waylon Li | The application of deep learning and natural language processing methods in finance, especially anomaly detection in financial markets. |
 |
Chang Luo | Machine learning and its applications in finance, especially graph representation learning and complex network analysis. |
 |
Miguel Angel Mendez Lucero |
An approach to explainable Artificial Intelligence using Adaptive Causal Models. |
 |
Adarsh Prabhakaran | Mathematical modelling of complex systems with a focus on spreading phenomenon and propagation of non-contagious diseases. |
 |
Magdalena Proszewska | Explainability in Graph Neural Networks |
 |
Ameer Saadat- Yazdi |
Uncovering implicit information in natural language arguments using external knowledge. |
 |
Tarini Saka |
A human-AI collaborative approach to mitigate phishing attacks'. |
 |
Richard Schmoetten | Formalisation and Interactive Theorem Proving in Physics. |
 |
Filip Smola | Formalising correct process composition in Isabelle/HOL and exploring its applications to complex domains. |
| Weizhi Tang | ||
| Nijesh Upreti | ||
 |
James Vaughan | Applications of Network Science and Computational Creativity to Mechanical Theorem Proving. |
 |
Yifei Xie | My research focuses on performance optimization of distributed system. |
 |
Jiawei Zheng | Complex event processing in BPM, IoT and Blockchain. |
 |
Ricky Zhu | Probabilistic knowledge representation and reasoning. |