A list of AIAI research students PhD Student Research Topic Najwa Alghamdi [scald=5069:sdl_editor_representation {"alt":"Claire Barale","caption":""}] Claire Barale Enabling Ethical Human-AI Reasoning in International Law Image Jake Barrett Algorithmic design and multi-agent behavioural analysis for democratic innovations. Image Lauren Delong The Usage and Improvement of Neurosymbolic AI for Biomedical Applications Image Jona Feldstein I am interested the unification of relational models and probabilistic AI, with a focus on property based testing in probabilistic programming. Image Jorge Gaete Villegas My research focuses on Explainable AI in the Healthcare domain. Image 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. Image Zonglin Ji Understanding Intensive Care Patients' Clinical Pathways using AI. Image 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. Image Waylon Li The application of deep learning and natural language processing methods in finance, especially anomaly detection in financial markets. Image Chang Luo Machine learning and its applications in finance, especially graph representation learning and complex network analysis. Image Miguel Angel Mendez Lucero An approach to explainable Artificial Intelligence using Adaptive Causal Models. Image Adarsh Prabhakaran Mathematical modelling of complex systems with a focus on spreading phenomenon and propagation of non-contagious diseases. Image Magdalena Proszewska Explainability in Graph Neural Networks Image Ameer Saadat- Yazdi Uncovering implicit information in natural language arguments using external knowledge. Image Tarini Saka A human-AI collaborative approach to mitigate phishing attacks'. Image Richard Schmoetten Formalisation and Interactive Theorem Proving in Physics. Image Filip Smola Formalising correct process composition in Isabelle/HOL and exploring its applications to complex domains. Weizhi Tang Nijesh Upreti Image James Vaughan Applications of Network Science and Computational Creativity to Mechanical Theorem Proving. Image Yifei Xie My research focuses on performance optimization of distributed system. Image Jiawei Zheng Complex event processing in BPM, IoT and Blockchain. Image Ricky Zhu Probabilistic knowledge representation and reasoning. This article was published on 2024-11-22