MSc in Mathematics and Foundations of Computer Science

University of Oxford

About the course

The MSc in Mathematics and Foundations of Computer Science, run jointly by the Mathematical Institute and the Department of Computer Science, focuses on the interface between pure mathematics and theoretical computer science.

The mathematical side concentrates on areas where computers are used, or which are relevant to computer science, namely algebra, general topology, number theory, combinatorics and logic. Examples from the computing side include computational complexity, concurrency, and quantum computing. Students take a minimum of five options and write a dissertation.

The course is suitable for those who wish to pursue research in pure mathematics (especially algebra, number theory, combinatorics, general topology and their computational aspects), mathematical logic, or theoretical computer science. It is also suitable for students wishing to enter industry with an understanding of mathematical and logical design and concurrency.

Assessment

The course will consist of examined lecture courses, usually taught as lectures supported by classes in groups of 8-10, and a written dissertation.

The lecture courses will be divided into two sections.

• Section A. Mathematical Foundations
• Section B. Applicable Theories

Each section will be divided into schedule I (basic) and schedule II (advanced). Students will be required to satisfy the examiners in at least two courses taken from section B and in at least two courses taken from schedule II. The majority of these courses should be given in the first two terms.

During Trinity term and over the summer students should complete a dissertation on an agreed topic. The dissertation must bear regard to course material from section A or section B. It is normal to have around eight meetings with your dissertation supervisor, mainly during Trinity term, but possibly continuing into July, but the exact arrangements are made mutually.

Graduate destinations

Graduates pursue careers in research into mathematics and/or computer science or industry.