Research students

A list of CISA research students

PhD Student   Research title
Stefanie Speichert

Stefanie Speichert

Student Rep for CISA

  Ibrahim Ahmed  
Andreas Bueff Abstraction in Probabilistic Reasoning.
Mark Chevallier
Mark Chevallier Formal Proving of Machine Learning Properties.
Juan Casanova Faulty ontology detection and repair.
Can Cui Agent Based Behaviour Analysis System with Interaction Model.
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. 
Nick Hoernle Assistive agents for group collaboration and learning.
Yaqing Jiang Machine learning for interactive theorem proving, particularly proof by induction.
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 Morris Formalising mathematical proofs with the aid of the proof assistant Isabelle.
  Jake Palmer  
  Giannis Papantonis  
  Amit Parag  
Francisco Jose Quesada Real Dynamic, Focussed Data Matching.
Arrasy Rahman
Arrasy Rahman Deep Reinforcement Learning Algorithms for Open Multiagent Systems
  Alessandro Spinuso  
  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.