Course pages 2017–18
Index of courses by lecturer
Please check the official timetables for timetable details.
Dr Anne Alexander
Dr Nada Amin
Prof Ross Anderson
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Economics, Law and Ethics (Michaelmas, Part IB CST 75%)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
- Software and Security Engineering (Easter, Part IA CST 50%, Part IA CST 75%)
Dr Alex Benton
- Further Graphics (Michaelmas, Part IB CST 75%)
- Advanced Graphics (Lent, Part II)
Dr Alastair Beresford
- Preparation for Computer Science (Pre-arrival, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Further Java (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
- Further Java Briefing (Easter, Part IA CST 50%, Part IA CST 75%)
Prof Alan Blackwell
- Group Project (Michaelmas, Lent, Part IB CST 50%, Part IB CST 75%)
- Human–Computer Interaction (Michaelmas, Part II)
- Probabilistic Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
- Further Human–Computer Interaction (Lent, Part IB CST 75%)
- Interaction with machine learning (Lent, MPhil ACS, Part III)
- Critical Coding for Digital Humanities (Easter, MPhil ACS, Part III)
- Interaction Design (Easter, Part IA CST 75%, Part IB CST 50%)
Prof Ted Briscoe
- Introduction to Natural Language Syntax and Parsing (Michaelmas, MPhil ACS, Part III)
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
- Advanced Topics in Natural Language Processing (Lent, MPhil ACS, Part III)
Dr Paula Buttery
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
- Formal Models of Language (Easter, Part IB CST 75%)
Dr David Chisnall
- Modern Compiler Design (Michaelmas, MPhil ACS, Part III)
Dr L Church
Dr Stephen Clark
Dr Nigel Collier
Prof Ann Copestake
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Advanced Topics in Natural Language Processing (Lent, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
Prof Jon Crowcroft
- Network Architectures (Michaelmas, MPhil ACS, Part III)
- Principles of Communications (Michaelmas, Part II)
Prof John Daugman
- Computer Vision (Michaelmas, Lent, MPhil ACS, Part III)
- Information Theory (Michaelmas, Part II)
- Computer Vision (Lent, Part II)
Prof Anuj Dawar
- Quantum Computing (Michaelmas, Part II)
- Computation Theory (Lent, Part IB CST 50%, Part IB CST 75%)
- Complexity Theory (Easter, Part IB CST 50%, Part IB CST 75%)
Prof Marcelo Fiore
- Category Theory, Type Theory and Logic (Michaelmas, MPhil ACS, Part III)
- Denotational Semantics (Michaelmas, Part II)
- Discrete Mathematics (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
Dr Simon Frost
- Bioinformatics (Michaelmas, Part II)
Dr Richard Gibbens
- Computer Systems Modelling (Lent, Part II)
Dr David Greaves
- System on Chip Design and Modelling (Lent, MPhil ACS, Part III)
- System-on-Chip Design (Lent, Part II)
- Numerical Methods (Easter, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
Dr Timothy Griffin
- Algebraic Path Problems (Michaelmas, MPhil ACS, Part III)
- Databases (Michaelmas, Part IA CST 75%, Part IB CST 50%)
- Modern Compiler Design (Michaelmas, MPhil ACS, Part III)
- Compiler Construction (Lent, Part IB CST 50%, Part IB CST 75%)
Dr Hatice Gunes
- Affective Computing (Michaelmas, MPhil ACS, Part III)
- Interaction Design (Easter, Part IA CST 75%, Part IB CST 50%)
Dr Robert Harle
- Preparation for Computer Science (Pre-arrival, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- ML Practical Classes (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Object-Oriented Programming (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Registration (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Algorithms (Lent, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Topical Issues (Lent, Part II)
Dr Timothy Harris
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
Dr Sean Holden
- Machine Learning and Bayesian Inference (Lent, Part II)
- Artificial Intelligence (Easter, Part IB CST 50%, Part IB CST 75%)
Dr Mateja Jamnik
- Machine Learning and Algorithms for Data Mining (Michaelmas, Lent, MPhil ACS, Part III)
- Logic and Proof (Lent, Part IB CST 50%, Part IB CST 75%)
Dr Graeme Jenkinson
- Advanced Operating Systems (Michaelmas, Lent, MPhil ACS, Part III)
Dr Timothy Jones
- Computer Design (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Optimising Compilers (Lent, Part II)
Dr Eva Kalyvianaki
Dr Anna Korhonen
Dr Neel Krishnaswami
- Programming in C (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Types (Michaelmas, Part II)
Dr Markus Kuhn
- Digital Signal Processing (Michaelmas, Part II)
- LaTeX and MATLAB (Michaelmas, Part II)
- Unix Tools (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Security II (Lent, Part II)
- Security (Easter, Part IB CST 50%, Part IB CST 75%)
Jack Lang
- Business Studies (Michaelmas, Part II)
- E-Commerce (Lent, Part II)
- Business Studies Seminars (Easter, Part II)
Dr Joan Lasenby
Prof Ian Leslie
- Discrete Mathematics (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
Dr Pietro Lio
- Machine Learning and Algorithms for Data Mining (Michaelmas, Lent, MPhil ACS, Part III)
- Biomedical Information Processing (Lent, MPhil ACS, Part III)
Dr Marwa Mahmoud
- Computer Vision (Michaelmas, Lent, MPhil ACS, Part III)
Dr Rafal Mantiuk
- Introduction to Graphics (Michaelmas, Part IA CST 75%, Part IB CST 50%)
- Advanced Graphics (Lent, Part II)
Dr Theo Markettos
Prof Cecilia Mascolo
- Advanced topics in mobile and sensor systems and data modelling (Michaelmas, Lent, MPhil ACS, Part III)
- Mobile and Sensor Systems (Lent, Part II)
Stewart McTavish
- Business Studies (Michaelmas, Part II)
- E-Commerce (Lent, Part II)
- Business Studies Seminars (Easter, Part II)
Dr Andrew Moore
- Introduction to networking and systems measurements (Michaelmas, MPhil ACS, Part III)
Prof Simon Moore
- Computer Design (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- ECAD and Architecture Practical Classes (Michaelmas, Part IB CST 50%, Part IB CST 75%)
Dr Richard Mortier
- Group Project (Michaelmas, Lent, Part IB CST 50%, Part IB CST 75%)
- Advanced Topics in Computer Systems (Lent, MPhil ACS, Part III)
- Operating Systems (Lent, Part IA CST 50%, Part IA CST 75%)
Dr Dominic Mulligan
- Interactive Formal Verification (Michaelmas, MPhil ACS, Part III)
Dr Robert Mullins
- Chip Multiprocessors (Michaelmas, MPhil ACS, Part III)
- ECAD and Architecture Practical Classes (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Comparative Architectures (Lent, Part II)
Prof Alan Mycroft
- Foundations of Computer Science (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- ML Practical Classes (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Concepts in Programming Languages (Easter, Part IB CST 75%)
- Hoare Logic and Model Checking (Easter, Part II)
Dr Maria Perez-Ortiz
- Probabilistic Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
Dr Jean Pichon
- Hoare Logic and Model Checking (Easter, Part II)
Dr Amanda Prorok
- Foundations of Computer Science (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- ML Practical Classes (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
Prof Carl Rasmussen
- Probabilistic Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
Dr Andrew Rice
- Preparation for Computer Science (Pre-arrival, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
- Further Java (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Prolog (Michaelmas, Part IB CST 75%)
Prof Peter Robinson
- Introduction to Graphics (Michaelmas, Part IA CST 75%, Part IB CST 50%)
Dr Advait Sarkar
Dr Thomas Sauerwald
- Machine Learning and Algorithms for Data Mining (Michaelmas, Lent, MPhil ACS, Part III)
- Advanced Algorithms (Easter, Part II)
Prof Peter Sewell
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
- Semantics of Programming Languages (Michaelmas, Part IB CST 50%, Part IB CST 75%)
Dr Daniel Thomas
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
- Security II (Lent, Part II)
Dr Christopher Town
- Computer Vision (Michaelmas, Lent, MPhil ACS, Part III)
Dr Ian Wassell
- Digital Electronics (Michaelmas, Part IA CST 50%, Part IA CST 75%)
- Hardware Practical Classes (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
Dr Robert Watson
- Advanced Operating Systems (Michaelmas, Lent, MPhil ACS, Part III)
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Concurrent and Distributed Systems (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
Dr Damon Wischik
- Foundations of Data Science (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Probabilistic Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
- Scientific Computing Practical Course (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
- Algorithms (Lent, Part IA CST 50%, Part IA CST 75%, Part IA NST, Part I PBS)
Dr Jeremy Yallop
Dr Helen Yannakoudakis
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Information Retrieval (Lent, Part II)
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
Dr Eiko Yoneki
- Large-scale data processing and optimisation (Michaelmas, MPhil ACS, Part III)
Dr Noa Zilberman
- Introduction to networking and systems measurements (Michaelmas, MPhil ACS, Part III)
- High performance networking (Lent, MPhil ACS, Part III)
(to be confirmed)
- Research Skills Programme (Michaelmas, Lent, MPhil ACS, Part III)
- Research Students Lectures (Michaelmas, MPhil ACS, Part III)
- Deep learning for natural language processing (Lent, MPhil ACS, Part III)