Course overview
This course draws on areas of both computer science and mathematics. You will acquire skills in software engineering, combinatorial analysis, formal proof and algorithmic analysis.
Regular individual and group projects will consolidate what you have learned by allowing you to apply it to practical problems.
Your learning experiences throughout the course will enable you to both analyse and solve problems in an abstract sense, and realise solutions through computer software. These abilities, alongside transferable skills in communication, planning, and self-organisation are highly valued by employers.
You may choose to spend a year in industry, research institutions, or study abroad between Years Two and Three of your degree. This will be reflected in your degree title.
Study abroad
You can spend a year at one of our partner institutions overseas.
We have an established exchange programme with the Hong Kong University of Science and Technology, which provides opportunities for our students to experience teaching and learning at another world-leading institution.
In addition to benefitting from a rich cultural experience, students returning from studying overseas exhibit an international profile that is attractive to potential employers.
