MPhil ACS
2009–10

Please check the official timetables for timetable details.

Michaelmas term

• Advanced Topics in Computer Systems (Dr Steven Hand)
• Advanced Topics in Programming Languages (Dr Peter Sewell)
• An Algebraic Approach to Internet Routing (Dr Timothy Griffin)
• Basic Rewriting Theory (Dr Marcelo Fiore)
• Building an Internet Router (Dr Andrew Moore)
• Category Theory for Computer Science (Dr Bartosz Klin, Dr Marcelo Fiore)
• Chip Multiprocessors (Dr Robert Mullins)
• Innovative User Interfaces (Prof Peter Robinson)
• Introductory Logic (Dr Thomas Forster)
• Low Power Embedded Systems Programming (Dr Ian Wassell, Brian Jones)
• Network Architecture (Prof Jon Crowcroft, Dr Andrew Moore, Dr Richard Gibbens, Dr Steven Hand, Dr Cecilia Mascolo)
• Research Methods (Dr Neil Dodgson)
• Set Theory for Computer Science (Prof Glynn Winskel)
• Topics in Security: Forensic Signal Analysis (Dr Markus Kuhn)
• Types (Prof Andrew Pitts)

Lent term

• Advanced Category Theory in Computer Science (Dr Marcelo Fiore)
• Advanced Computer Design (Dr Simon Moore)
• Advanced Topics in Programming Languages (continuing)
• Automated Reasoning (Dr Mateja Jamnik)
• Categorical Logic (Dr Samuel Staton)
• Interactive Formal Verification (Prof Larry Paulson, Prof Mike Gordon)
• Semantics of HOT Languages (Prof Andrew Pitts)
• Software Verification (Dr Matthew Parkinson)
• System on Chip Design and Modelling (Dr David Greaves)
• Topics in Logic and Complexity (Prof Anuj Dawar)

Easter term

• Advanced Topics in Concurrency (Prof Glynn Winskel)
• Research Students Lectures (Mr Nishanth Sastry)