Professor of Mathematical Logic in the School of Mathematics at the University of Leeds. A graduate of the University of Oxford, he obtained his doctorate on "Degrees of Unsolvability" from the University of Leicester, working with Reuben Louis Goodstein, and C. E. M. Yates at the University of Manchester. His research follows that of Alan Turing in its focus on the nature of mental and physical computation. It seeks to characterise the computational framework underlying emergence in nature and the causal structure of the real universe. Author and editor of numerous books, including Computability Theory, New Computational Paradigms, and Computability in Context, he is a leading advocate of multidisciplinary research at the interface between what is known to be computable, and theoretical and practical incomputability. He is chair of the Turing Centenary Advisory Committee, which coordinates the wide range of Turing Centenary activities, is president of the association Computability in Europe, which is responsible for the largest computability-themed international conference series, and chairs the Editorial Board of its Springer book series "Theory and Applications of Computability." He is an organizer of the 2012 Isaac Newton Institute programme "Semantics and Syntax: A Legacy of Alan Turing" in Cambridge.
