## Research

My research interests include applications of logic in computer science and
artificial intelligence, including: modal logic, logics for resource-bounded
agents, knowledge representation and reasoning, complexity and expressive power of query languages.

Here is a link to my publications. .

I am PI on the EPSRC-funded VRBMAS project
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 Leeds.

Hai Nguyen ,
obtained his PhD on belief revision and debugging for ontologies in 2014. Now at the University of Liverpool.

Xiaofan Liu,
obtained his PhD on reasoning about business rules and access control rules in 2015.

Fahad Khan,
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.

Mark
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.

This file is maintained by Natasha Alechina

Last updated 17 Mar 2016.