Research students

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
J Barrett
Jake Barrett Algorithmic design and multi-agent behavioural analysis for democratic innovations.
Image
delong
Lauren Delong

The Usage and Improvement of Neurosymbolic AI for Biomedical Applications

Image
JF
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
Jorge Gaete Villegas My research focuses on Explainable AI in the Healthcare domain.
Image
bganesh
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
Zonglin Ji Understanding Intensive Care Patients' Clinical Pathways using AI.
Image
Patrick Kage
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
Waylon Li The application of deep learning and natural language processing methods in finance, especially anomaly detection in financial markets.
Image
AIAI student4
Chang Luo Machine learning and its applications in finance, especially graph representation learning and complex network analysis.
Image
Miguel Angel Mendez Lucero
Miguel Angel Mendez Lucero

An approach to explainable Artificial Intelligence using Adaptive Causal Models.

Image
AIAI student3
Adarsh Prabhakaran Mathematical modelling of complex systems with a focus on spreading phenomenon and propagation of non-contagious diseases.
Image
Magdalena Proszewska
Magdalena Proszewska Explainability in Graph Neural Networks 
Image
saadatyamzi
Ameer Saadat- Yazdi

Uncovering implicit information in natural language arguments using external knowledge.

Image
tsaka
Tarini Saka

A human-AI collaborative approach to mitigate phishing attacks'.

Image
Richard Schmoetten
Richard Schmoetten Formalisation and Interactive Theorem Proving in Physics.
Image
F Smola
Filip Smola Formalising correct process composition in Isabelle/HOL and exploring its applications to complex domains.
  Weizhi Tang  
  Nijesh Upreti  
Image
J Vaughan
James Vaughan Applications of Network Science and Computational Creativity to Mechanical Theorem Proving.
Image
Y Xie
Yifei Xie My research focuses on performance optimization of distributed system.
Image
JZ
Jiawei Zheng Complex event processing in BPM, IoT and Blockchain.
Image
RZhu
Ricky Zhu Probabilistic knowledge representation and reasoning.