Course material 2010–11
MPhil ACS
Please check the official timetables for timetable details.
Michaelmas term
- Advanced Topics in Computer Systems (Dr Steven Hand)
- An Algebraic Approach to Internet Routing (Dr Timothy Griffin)
- Building an Internet Router (Dr Andrew Moore)
- Category Theory for Computer Science (Dr Marcelo Fiore)
- Chip Multiprocessors (Dr Robert Mullins)
- Denotational Semantics (Dr Marcelo Fiore)
- Innovative User Interfaces (Prof Peter Robinson)
- Introduction to Natural Language Processing (Prof Ted Briscoe, Dr Ann Copestake, Dr Stephen Clark, Dr Simone Teufel)
- Introductory Logic (Dr Thomas Forster)
- Low Power Embedded Systems Programming (Dr Ian Wassell, Mr Brian Jones)
- Multicore Programming (Dr Peter Sewell, Dr Jaroslav Sevcik, Dr Timothy Harris)
- Network Architecture (Prof Jon Crowcroft, Dr Andrew Moore, Dr Richard Gibbens, Dr Steven Hand, Dr Cecilia Mascolo)
- Programming for Mobiles (Dr Andrew Rice)
- Research Skills (Prof Neil Dodgson)
- Research Students Lectures (Mr Nishanth Sastry)
- Set Theory for Computer Science (Prof Glynn Winskel)
- Spoken Language Processing (Dr Mark Gales, Dr Adria de Gispert, Prof Phil Woodland)
- Topics in Security: Forensic Signal Analysis (Dr Markus Kuhn)
Lent term
- Advanced Category Theory in Computer Science (Dr Marcelo Fiore)
- Advanced Computer Design (Dr Simon Moore)
- Advanced Speech Technology (Prof Phil Woodland, Dr Paul Taylor, Dr Blaise Thomson)
- Categorical Logic (Dr Samuel Staton)
- Data Centric Networking (Dr Eiko Yoneki)
- Deep Language Modelling (Dr Ann Copestake)
- Flows in Networks (Dr Richard Gibbens)
- Lexical Semantics and Discourse Processing (Dr Simone Teufel)
- Machine Learning for Language Processing (Prof Ted Briscoe, Dr Mark Gales)
- Programming Logics and Software Verification (Prof Mike Gordon)
- Research Students Lectures (continuing)
- Social and Technological Network Analysis (Dr Cecilia Mascolo)
- Statistical Machine Translation (Dr Stephen Clark, Dr Adria de Gispert)
- Syntax and Semantics of Natural Language (Prof Ted Briscoe, Dr Stephen Clark)
- System on Chip Design and Modelling (Dr David Greaves)
- Topics in Logic and Complexity (Prof Anuj Dawar)