Mathematics and Foundations of 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.

The course will consist of examined lecture courses 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 intended that a major feature of this course is that candidates should show a broad knowledge and understanding over a wide range of material. Consequently, each lecture course taken will receive an assessment upon its completion by means of a test based on written work. Students will be required to pass five courses that include two courses from section B and two at the schedule II level - these need not be distinct - and the dissertation.

The course runs from the beginning of October through to the end of September, including the dissertation.

The allocation of graduate supervision for this course is the responsibility of the Mathematical Institute and/or the Department of Computer Science and it is not always possible to accommodate the preferences of incoming graduate students to work with a particular member of staff. Under exceptional circumstances a supervisor may be found outside the Mathematical Institute and/or the Department of Computer Science.

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

Changes to this course and your supervision

The University will seek to deliver this course in accordance with the description set out in this course page. However, there may be situations in which it is desirable or necessary for the University to make changes in course provision, either before or after registration. In certain circumstances, for example due to visa difficulties or because the health needs of students cannot be met, it may be necessary to make adjustments to course requirements for international study.

Where possible your academic supervisor will not change for the duration of your course. However, it may be necessary to assign a new academic supervisor during the course of study or before registration for reasons which might include sabbatical leave, parental leave or change in employment.

For further information, please see our page on changes to courses.

Other courses you may wish to consider

If you're thinking about applying for this course, you may also wish to consider the courses listed below. These courses may have been suggested due to their similarity with this course, or because they are offered by the same department or faculty.

All graduate courses offered by the Mathematical Institute

Mathematical and Computational Finance MSc

Mathematical and Theoretical Physics MSc

Mathematical Modelling and Scientific Computing MSc

Mathematical Modelling of Random Systems: Analysis, Models and Algorithms EPSRC CDT

Mathematical Sciences MSc

Mathematics DPhil

Mathematics MSc by Research

Mathematics and Foundations of Computer Science MSc

All graduate courses offered by the Department of Computer Science

Autonomous Intelligent Machines and Systems EPSRC CDT

Computer Science MSc

Computer Science DPhil

Health Data Science EPSRC CDT

Software and Systems Security MSc

Software Engineering MSc

Next
Entry requirements