I am in the School of Electronic Engineering and Computer Science at Queen Mary, University of London, and I work on a variety of themes, centred on logic, reasoning about action, and normativity.