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
  Juan Casanova  
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 Morris  
  Jake Palmer  
  Amit Parag  
Francisco
Francisco Jose Quesada Real Dynamic, Focussed Data Matching
  Stefanie Speichert  
  Alessandro Spinuso  
  Luca Trani  
  Ole Weidner