Research students

A list of CISA research students

PhD Student   Research Topic
Stefanie Speichert

Stefanie Speichert

Student Rep for CISA

Learning Probabilistic Logical Models in Hybrid Domains

Ibraham Ahmed
Ibrahim Ahmed Network Security and Multi-Agent Modeling
Cillian Brewitt
Cillian Brewitt Systematic Analysis and Comparison of Agent Modelling Methods
Andreas
Andreas Bueff Abstraction in Probabilistic Reasoning.
Casanova
Juan Casanova Faulty ontology detection and repair.
Mark Chevallier
Mark Chevallier Formal Verification of Machine Learning Properties.
cui
Can Cui Agent Based Behaviour Analysis System with Interaction Model.
Jorge Gaete
Jorge Gaete Villegas My research focuses on Explainable AI in the Healthcare domain.
Anton Fuxjaeger
Anton Fuxjaeger Deep networks, graphical models, knowledge compilation, Inference and structure leaning. To be more precise, my research will focus on neural-symbolic; the theoretical foundation of deep neural networks and how to combine them with symbolic reasoning. 
Hoernle
Nick Hoernle

My PhD focuses on modeling, understanding and supporting collaborative work with a special focus on learning environments. I am interested in probabilistic models of group collaboration and the design of intelligent agents that use these models to support, incentivise and motivate groups of people in their endeavours. I work with mixed-reality exploratory learning environments, badge incentives on StackExchange (and other large scale collaborative projects) and MOOCs where students collaborate in online forums. 

Jiang
Yaqing Jiang Machine learning for interactive theorem proving, particularly proof by induction.
Korre
Danai Korre

Usability Engineering on Serious Games with Embodied Conversational Revision.

Xue Li
Xue Li Evolving Logical Theories by Combining Conceptual Change and Belief Revision.
Imogen
Imogen Morris Formalising mathematical proofs with the aid of the proof assistant Isabelle.
Jake Palmer
Jake Palmer Formalising and verifying voting methods using interactive theorem proving in Isabelle/HOL
Giannis Papantonis
Giannis Papantonis Causal Modelling and Explainability in Machine Learning
Francisco
Francisco Jose Quesada Real Dynamic, Focussed Data Matching.
Arrasy Rahman
Arrasy Rahman Deep Reinforcement Learning Algorithms for Open Multiagent Systems
  Luca Trani  
  Ole Weidner  
  Cheng-lin Yang  
Rui Zhao
Rui Zhao Presenting a formal model for data governance rules to allow reasoning on processing graphs, in order to a) check and track rule compliance b) attach composed rules to output data for future processing.