# Part A, Computer Science

In the second year Computer Science students are required to take

-** the core courses in Algorithms, Compilers, Concurrent Programming and Models of
Computation.**** **

**- the Group Design Practical **

**It is strongly recommended that if you intend to study any Computer Science optional course
that is scheduled in Trinity term, that you do so in your second year as they may clash with examinations if studied in
your third year.**

in the 2nd and 3rd years you are required to take a total of 10 optional courses from Schedules S1 and S2. It is recomended that you take 4 or 5 of these options in your 2nd year, however your tutor will be able to provide you with some guidance on this. All optional courses will be examined at the end of your 3rd year.

Schedule S2 - you may take no more than 2 courses from Schedule S2; please note that you may attend
lectures for these courses in your second year, but classes only in your 3rd year.

#### Part A Core

- Compilers 16 Lectures, Michaelmas Term 2020
- Models of Computation 16 Lectures, Michaelmas Term 2020
- Algorithms and Data Structures 16 Lectures, Hilary Term 2021
- Concurrent Programming 16 Lectures, Hilary Term 2021
- Group Design Practical Hilary Term 2021, Trinity Term 2021

#### 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