PhD Mathematical Logic: The University of Manchester

Course description

The School of Mathematics has an outstanding research reputation. The research facilities include one of the finest libraries in the country, the John Rylands University Library. This library has recently made a very large commitment of resources to providing comprehensive online facilities for the free use of the University's research community. Postgraduate students in the School benefit from direct access to all the Library electronic resources from their offices.

There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing, now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century. Turing was followed at Manchester by his former student Robin Gandy who made important contributions to the foundations of proof theory and constructive mathematics. Two of Gandy's students have held chairs in at Manchester, Mike Yates (now retired), and Jeff Paris.

Entry requirements

Academic entry qualification overview: Applicants would usually be expected to have a 1st or upper 2nd class honours degree (or an equivalent overseas qualification) in a mathematical subject. In some research areas a background in physics, engineering or computer science is also acceptable.

English language: Students whose first language is not English require a minimum score of IELTS 6.5 or TOEFL 570 (paper-based) with not less than 5.0 in the TOEFL essay section of the test or 90 (ibtTOEFL).