I am a member of the Agents lab.
I am supervising the following PhD students:
Heshan Du, who works on combining information in heterogeneous geospatial
Hai Nguyen ,
who works on belief revision for ontologies,
who works on logical analysis and verification of business rules,
Past PhD students:
working on temporal logics with regular expressions.
Nguyen Hoang Nga,
logics for resource-bounded reasoners.
Jago obtained his PhD in 2006, on logics for resource bounded agents.
Dmitry Shkatov obtained his PhD in 2006. His thesis
was on modal logics
with intuitionistic basis, and modal logics with
existential and transitive closure modalities. He was funded by the EPSRC grant
GR/M98050/01, `Efficient fragments of transitive closure logic'.
Graham Mackenzie obtained his PhD in 2003. He worked on recognising
drawings using agents.