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 a Professor of Mathematical Sciences in the Institute of Computer Science at the University of Opole, Poland, and Senior Lecturer in the Department of Computer Science at the University of Manchester, UK.  Dr. Pratt-Hartmann's research interests range widely over the fields of mathematical logic, artificial intelligence and the semantics of natural language.