I am a member of the Agents lab.
I am supervising the following PhD students:
Rustam Galimullin, who works on automata-theoretic approach to dynamic epistemic logics.
Past PhD students:
Heshan Du, obtained her PhD on qualitative spatial logics and
combining information in heterogeneous geospatial ontologies in 2015. Now working at the Univeristy of Nottingham (Ningbo campus).
Hai Nguyen ,
obtained his PhD on belief revision and debugging for ontologies in 2014. Now at the University of Liverpool.
obtained his PhD on reasoning about business rules and access control rules in 2015.
obtained his PhD on temporal logics with regular expressions in 2012. Now at the Istitutio di Linguistica Computazionale, CNR in Pisa.
Nguyen Hoang Nga,
obtained his PhD on logics for resource-bounded reasoners in 2011. Now at the University of Coventry.
Jago obtained his PhD in 2006, on logics for resource bounded agents. Now at the University of Nottingham.
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'. Now at the university of Witwatersrand.
Graham Mackenzie obtained his PhD in 2003. He worked on recognising
drawings using agents.