Research students

A list of CISA research students

PhD Student   Research title
Andreas
Andreas Bueff Abstraction in Probabilistic Reasoning
  Juan Casanova  
cui
Can Cui Agent Based Behaviour Analysis System with Interaction Model
AmyG
Amy Guy Context-dependent Social Interactions on the Web
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  
xue
Xue Li Evolving Logical Theories by Combining Conceptual Change and Belief Revision
Nuamah
Kobby Nuamah Query Answering Using Rich Forms of Inference over Semantic Web Data
  Jake Palmer  
Francisco
Francisco Jose Quesada Real Dynamic, Focussed Data Matching
  Stefanie Speichert  
  Alessandro Spinuso  
  Luca Trani  
  Ole Weidner  
  Cheng-Lin Yang