The Degree Committee for the Faculty of Computer Science and Technology give notice that the modules available for study for the M.Phil. Degree in Advanced Computer Science (Statutes and Ordinances, p. 508) in the academical year 2014–15, and the form of the examination of each module, will be as follows:
Number |
Title and mode of assessment (course-work (c), written test (t)) (Imported module) |
C00 |
Research skills (mandatory) (c) |
P34 |
Advanced computer design (c) |
L11 |
Algebraic path problems, with applications to internet routing (c) |
L18 |
Automated reasoning (c and t) |
P33 |
Building an internet router (c) |
L108 |
Category theory and logic (c and t) |
R05 |
Chip multiprocessors (c and t) |
R209 |
Computer security: principles and foundations (c) |
E4F12 |
Computer vision and robotics (t) (Imported module) |
R212 |
Data centric systems and networking (c) |
L95 |
Introduction to natural language syntax and parsing (c) |
L114 |
Lexical semantics (c) |
P31 |
Low power embedded systems (c) |
L25 |
Modern compiler design (c) |
R204 |
Multicore semantics and programming (c) |
L90 |
Overview of natural language processing (c) |
L106 |
Spoken language processing (c) |
R215 |
Theories of interaction and socio-digital design (c) |
S500 |
Special topic MT (c) |
L28 |
Advanced functional programming (c) |
L41 |
Advanced operating systems (c) |
L29 |
Advanced topics in denotational semantics (c) |
R214 |
Biomedical information processing (c) |
R210 |
Computer security: current applications and research (c) |
R216 |
Discourse processing (c) |
L110 |
Flows in networks (c and t) |
E4F8 |
Image processing and image coding (t) (Imported module) |
L21 |
Interactive formal verification (c) |
R207 |
Language and concepts (c) |
E4F13 |
Machine learning (c) (Imported module) |
L101 |
Machine learning for language processing (c) |
L40 |
Sensor fusion and location aware computing (c and t) |
L109 |
Social and technological network analysis (c) |
L107 |
Syntax and semantics of natural language (c) |
P35 |
System on chip design and modelling (c) |
P201 |
Usability of programming languages (c) |
S501 |
Special topic LT (c) |
No modules offered currently in Easter Term 2015 |
The Degree Committee for the Faculty of Computer Science and Technology give notice that the Essay Option of the M.Phil. Degree in Advanced Computer Science requires the submission of a compulsory research essay and that the essay replaces three of twelve modules.
Further details can be found by following the appropriate links from http://www.cl.cam.ac.uk/teaching/current/acs.html and http://www.cl.cam.ac.uk/teaching/acs_projects/.
The Degree Committee for the Faculty of Computer Science and Technology reserve the right to withdraw any module should fewer than five students enrolled as candidates for the M.Phil. Degree in Advanced Computer Science elect to study them. To satisfy timetabling, resourcing, or other constraints, the Faculty Board may impose a cap on the numbers of students from any particular course who may take a particular module. Candidates may not offer more than one Special topic for examination.