I am a Senior Lecturer (an old-fashioned title equivalent to associate professor) in the School of Computing at the University of Leeds in the UK. I work in Logic for Knowledge Representation in AI with a particular interest in Qualitative Spatial Representation and in Modal Logic.