# Part B, Computer Science

Computer Science students in their second and third years are required to offer a total of ten optional subjects for examination from Schedules S1 and S2 (with no more than two from S2).Classes for courses in Schedule S2 are administered by the Mathematical Institute. Please use their Minerva system to sign up for them.

It is expected that you will have studied at least four optional courses during your second year.

All optional courses are examined at the end of your third year. You must also take a project, which is worth one third of the year.

Please note that although practicals play no part in the degree classification, you must pass the practical component of the course in order to pass the exam, i.e. you must achieve 40% or more overall in your practicals each year to pass.

#### Schedule S1

- Computer Security 16 Lectures, Michaelmas Term 2020
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2020
- Databases 16 Lectures, Michaelmas Term 2020
- Geometric Modelling 16 Lectures, Michaelmas Term 2020
- Machine Learning 20 Lectures, Michaelmas Term 2020
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2020
- Artificial Intelligence 16 Lectures, Hilary Term 2021
- Computational Complexity 16 Lectures, Hilary Term 2021
- Computer Architecture 16 Lectures, Hilary Term 2021
- Computer Graphics 16 Lectures, Hilary Term 2021
- Knowledge Representation & Reasoning 16 Lectures, Hilary Term 2021
- Lambda Calculus and Types 16 Lectures, Hilary Term 2021
- Quantum Information 16 Lectures, Hilary Term 2021
- Computer Networks 16 Lectures, Trinity Term 2021
- Concurrency 16 Lectures, Trinity Term 2021
- Logic and Proof 16 Lectures, Trinity Term 2021