I am now retired: before that, I was at Queen Mary, University of London, in the department of Electronic Engineering and Computer Science. I work in philosophy and related areas, and I have done a lot of work on the history of logic at the end of the Middle Ages.