My research area is applications of logic in computer science and artificial intelligence, including: verification of multiagent systems, synthesis of provably correct agent programs, logics for resource-bounded agents, various flavours of modal logic.

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 Nottingham (Ningbo campus).

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.