Research students

A list of CISA research students

PhD Student   Research title
Xue Li

Xue Li

Student Rep for CISA

Evolving Logical Theories by Combining Conceptual Change and Belief Revision.
Andreas
Andreas Bueff Abstraction in Probabilistic Reasoning.
Casanova
Juan Casanova Faulty ontology detection and repair.
cui
Can Cui Agent Based Behaviour Analysis System with Interaction Model.
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.

Imogen
Imogen Morris Formalising mathematical proofs with the aid of the proof assistant Isabelle.
  Jake Palmer  
  Amit Parag  
Francisco
Francisco Jose Quesada Real Dynamic, Focussed Data Matching.
  Stefanie Speichert  
  Alessandro Spinuso  
  Luca Trani  
  Ole Weidner  
  Rui Zhao