Hilary 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
- Concurrency 16 Lectures, Hilary Term 2013
- Concurrent Programming 16 Lectures, Hilary Term 2013
- Introduction to Specification 16 Lectures, Hilary Term 2013
Schedule B
- Computational Complexity 16 Lectures, Hilary Term 2013
- Knowledge Representation & Reasoning 16 Lectures, Hilary Term 2013
Schedule C
- Advanced Security 8 + 10
- Automata, Logic and Games 16 Lectures, Hilary Term 2013
- Computational Linguistics 18 Lectures, Hilary Term 2013
- Database Systems Implementation 20 Lectures, Hilary Term 2013
- Software Verification 18 Lectures, Hilary Term 2013
- Theory of Data and Knowledge Bases 16 Lectures, Hilary Term 2013