Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD. from Princeton in 1987. He is currently Senior Lecturer in the Department of Computer Science at the University of Manchester. Since February, 2014, Dr. Pratt-Hartmann has held a joint appointment in the Institute of Mathematics and Computer Science at the University of Opole. Dr. Pratt-Hartmann's research interests range widely over the field of AI and cognitive science, including computational logic, spatial logic and natural language semantics. For those who are interested in that sort of thing, here is a link to his Google Scholar page.