I am Emeritus Professor of Mathematical Logic and Computing Science
in the schools of
Mathematics and
Computer Science
at the University of Manchester.
Research areas:
My research interests include the following areas:
Philosophy and Foundations of Mathematics and Computing
Computer Assisted Development of formal proofs
Mathematical Logic
Categorical Logic and Dependent Type Theory
Constructive Mathematics, especially constructive general topology
Variants of Classical Axiomatic Set Theory such as theories of
non-well-founded sets and constructive set theories.