Michaelmas Term, MSc in Computer Science
It is recommended that students should undertake no more than four topics in any one term.
Schedule A - each equivalent to 4 units
Schedule B - each equivalent to 4 units
Schedule C - each equivalent to 6 units
Schedule A
- Foundations of Computer Science 16 Lectures, Michaelmas Term 2011
- Functional Programming 16 Lectures, Michaelmas Term 2011
- Object Oriented Programming 16 Lectures, Michaelmas Term 2011
- Concurrent Programming 16 Lectures, Hilary Term 2012
Schedule B
- Bioinformatics and Computational Biology 16 Lectures, Michaelmas Term 2011
- Computer Security 16 Lectures, Michaelmas Term 2011
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2011
- Databases 16 Lectures, Michaelmas Term 2011
- Intelligent Systems 16 Lectures, Michaelmas Term 2011
- Lambda Calculus and Types 16 Lectures, Michaelmas Term 2011
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2011
Schedule C
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2011
- Computational Linguistics 16 Lectures, Michaelmas Term 2011
- Computer Animation 20 Lectures, Michaelmas Term 2011
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2011
- Probability and Computing 20 Lectures, Michaelmas Term 2011