Course pages 2019–20
Index of courses by lecturer
Please check the official timetables for timetable details.
Miltos Allamanis
Prof Ross Anderson
- Computer Security: Principles and Foundations (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%, Part II CST 50%)
Prof Alastair Beresford
- Further Java (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Computer Security: Principles and Foundations (Lent, MPhil ACS, Part III)
Marc Brockschmidt
Prof Paula Buttery
- Introduction to Natural Language Syntax and Parsing (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II CST 75%)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Formal Models of Language (Easter, Part IB CST 75%, Part II CST 50%)
Dr Jagmohan Chauhan
- Advanced Topics in Mobile Systems and Mobile Data Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
Dr L Church
Dr Richard Clayton
- Cybercrime (Michaelmas, MPhil ACS, Part III)
Dr Jennifer Cobbe
- Technology, law and society (Michaelmas, MPhil ACS, Part III)
Prof Ann Copestake
- Registration (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
Dr Ryan Cotterell
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II CST 75%)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Advanced topics in machine learning and natural language processing (Lent, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
Dr Franck Courbon
- Hardware Security (Michaelmas, MPhil ACS, Part III)
Prof Jon Crowcroft
- Network Architectures (Michaelmas, MPhil ACS, Part III)
- Principles of Communications (Michaelmas, Part II CST 50%, Part II CST 75%)
Prof John Daugman
- Information Theory (Michaelmas, Part II CST 50%, Part II CST 75%)
- Computer Vision (Lent, Part II CST 50%, Part II CST 75%)
- Computer Vision (Lent, MPhil ACS)
Prof Anuj Dawar
- Topics in Logic and Complexity (Lent, MPhil ACS, Part III)
- Complexity Theory (Easter, Part IB CST 50%, Part IB CST 75%)
Dr Guy Emerson
- Data Science: principles and practice (Michaelmas, Part II CST 75%)
- Data Science: principles and practice (Michaelmas, MPhil ACS)
Prof Marcelo Fiore
- Denotational Semantics (Michaelmas, Part II CST 50%, Part II CST 75%)
- Discrete Mathematics (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
Dr David Greaves
- Concurrent and Distributed Systems (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Programming in C and C++ (Michaelmas, Part IB CST 50%, Part IB CST 75%)
Dr Timothy Griffin
- Algebraic Path Problems (Michaelmas, MPhil ACS, Part III)
- Databases (Michaelmas, Part IA CST 75%, Part IB CST 50%)
- Compiler Construction (Lent, Part IB CST 50%, Part IB CST 75%)
Dr Hatice Gunes
- Affective Computing (Lent, 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)
- Group Project (Michaelmas, Lent, Part IB CST 50%, Part IB CST 75%)
- Registration (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- Mobile and Sensor Systems (Lent, Part II CST 50%, Part II CST 75%)
Dr Timothy Harris
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
- Multicore Semantics and Programming (Michaelmas, Part II CST 75%)
Dr Steven Herbert
Dr Sean Holden
- Machine Learning and Bayesian Inference (Lent, Part II CST 50%, Part II CST 75%)
- Artificial Intelligence (Easter, Part IB CST 50%, Part IB CST 75%)
Dr Heidi Howard
Dr Alice Hutchings
- Cybercrime (Michaelmas, MPhil ACS, Part III)
- Economics, Law and Ethics (Michaelmas, Part IB CST 75%, Part II CST 50%)
- Computer Security: Principles and Foundations (Lent, MPhil ACS, Part III)
Prof Mateja Jamnik
- Automated Reasoning (Michaelmas, MPhil ACS, Part III)
- Advanced topics in machine learning and natural language processing (Lent, MPhil ACS, Part III)
- Introduction to Probability (Easter, Part IA CST 50%, Part IA CST 75%, Part IA NST)
Dr Heleen Janssen
- Technology, law and society (Michaelmas, MPhil ACS, Part III)
Dr Graeme Jenkinson
- Advanced Operating Systems (Lent, MPhil ACS, Part III)
Dr Timothy Jones
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- Computer Design (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Optimising Compilers (Lent, Part II CST 50%, Part II CST 75%)
Dr Eva Kalyvianaki
- Cloud Computing (Lent, Part II CST 75%)
Dr Martin Kleppmann
- Concurrent and Distributed Systems (Michaelmas, Part IB CST 50%, Part IB CST 75%)
Dr Ekaterina Kochmar
- Data Science: principles and practice (Michaelmas, Part II CST 75%)
- Data Science: principles and practice (Michaelmas, MPhil ACS)
Dr Neel Krishnaswami
- Semantics of Programming Languages (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Types (Michaelmas, Part II CST 50%, Part II CST 75%)
Dr Markus Kuhn
- Digital Signal Processing (Michaelmas, Part II CST 75%)
- Digital Signal Processing (Michaelmas, Part II CST 50%)
- Digital Signal Processing (Michaelmas, MPhil ACS, Part III)
- Hardware Security (Michaelmas, MPhil ACS, Part III)
- LaTeX and MATLAB (Michaelmas, Part II CST 50%, Part II CST 75%)
- Unix Tools (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Cryptography (Lent, Part II CST 50%, Part II CST 75%)
- Security (Easter, Part IB CST 50%, Part IB CST 75%)
Jack Lang
- Business Studies (Michaelmas, Part II CST 50%, Part II CST 75%)
- E-Commerce (Lent, Part II CST 50%, Part II CST 75%)
- Business Studies Seminars (Easter, Part II CST 50%, Part II CST 75%)
Dr Ian Lewis
- Prolog (Lent, Part IB CST 75%, Part II CST 50%)
Prof Pietro Lio
- Bioinformatics (Michaelmas, Part II CST 50%, Part II CST 75%)
Dr Anil Madhavapeddy
- Foundations of Computer Science (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- OCaml Practical Classes (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- Cloud Computing (Lent, Part II CST 75%)
Dr Marwa Mahmoud
- Computer Vision (Lent, MPhil ACS)
Dr Rafal Mantiuk
- Advanced Graphics and Image Processing (Michaelmas, Part II CST 75%)
- Advanced Graphics and Image Processing (Michaelmas, MPhil ACS, Part III)
- Introduction to Graphics (Michaelmas, Part IA CST 75%, Part IB CST 50%)
Dr Theo Markettos
Prof Cecilia Mascolo
- Advanced Topics in Mobile Systems and Mobile Data Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
- Mobile and Sensor Systems (Lent, Part II CST 50%, Part II CST 75%)
Stewart McTavish
- Business Studies (Michaelmas, Part II CST 50%, Part II CST 75%)
- E-Commerce (Lent, Part II CST 50%, Part II CST 75%)
- Business Studies Seminars (Easter, Part II CST 50%, Part II CST 75%)
Prof Andrew Moore
- Introduction to networking and systems measurements (Michaelmas, MPhil ACS, Part III)
- Computer Networking (Lent, Part IB CST 50%, Part IB CST 75%)
- High performance networking (Lent, MPhil ACS, Part III)
Prof Simon Moore
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- 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 Robert Mullins
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- ECAD and Architecture Practical Classes (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Comparative Architectures (Lent, Part II CST 50%, Part II CST 75%)
Prof Alan Mycroft
- Programming in C and C++ (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Concepts in Programming Languages (Easter, Part IB CST 75%, Part II CST 50%)
Prof Larry Paulson
- Interactive Formal Verification (Michaelmas, MPhil ACS, Part III)
- Logic and Proof (Lent, Part IB CST 50%, Part IB CST 75%)
Dr Jean Pichon
Prof Andrew Pitts
- Category Theory (Michaelmas, MPhil ACS, Part III)
- Computation Theory (Lent, Part IB CST 50%, Part IB CST 75%)
Dr Amanda Prorok
- Foundations of Computer Science (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- OCaml Practical Classes (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- Mobile Robot Systems (Lent, MPhil ACS, Part III)
- Mobile Robot Systems (Lent, Part II CST 75%)
Prof Carl Rasmussen
- Probabilistic Machine Learning (Michaelmas, Lent, MPhil ACS, Part III)
Dr Andrew Rice
- Further Java (Michaelmas, Part IB CST 50%, Part IB CST 75%)
- Object-Oriented Programming (Michaelmas, Part IA CST 50%, Part IA CST 75%, Part IA NST)
- Machine learning for programming (Lent, MPhil ACS, Part III)
- Prolog (Lent, Part IB CST 75%, Part II CST 50%)
Dr Nicolas Rivera
Dr Thomas Sauerwald
- Probability and Computation (Lent, Part II CST 75%)
- Advanced Algorithms (Easter, Part II CST 50%, Part II CST 75%)
- Introduction to Probability (Easter, Part IA CST 50%, Part IA CST 75%, Part IA NST)
Prof Peter Sewell
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
- Multicore Semantics and Programming (Michaelmas, Part II CST 75%)
Dr Jatinder Singh
- Technology, law and society (Michaelmas, MPhil ACS, Part III)
Dr Sergei Skorobogatov
- Hardware Security (Michaelmas, MPhil ACS, Part III)
Prof Frank Stajano
- Discrete Mathematics (Michaelmas, Lent, Part IA CST 50%, Part IA CST 75%)
- Algorithms (Lent, Part IA CST 50%, Part IA CST 75%, Part IA NST)
Dr John Sylvester
Prof Simone Teufel
- Introduction to Natural Language Syntax and Parsing (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II CST 75%)
- Advanced topics in machine learning and natural language processing (Lent, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
Dr Christopher Town
- Computer Vision (Lent, MPhil ACS)
Dr Andreas Vlachos
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II CST 75%)
- Advanced topics in machine learning and natural language processing (Lent, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST 75%, Part IB CST 50%)
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%)
- Technology, law and society (Michaelmas, MPhil ACS, Part III)
Dr Robert Watson
- Advanced Operating Systems (Lent, MPhil ACS, Part III)
- Computer Security: Principles and Foundations (Lent, MPhil ACS, Part III)
Prof Glynn Winskel
- Topics in Concurrency (Lent, MPhil ACS, Part III)
- Topics in Concurrency (Lent, Part II CST 75%)
Dr Damon Wischik
- Data Science: principles and practice (Michaelmas, Part II CST 75%)
- Data Science: principles and practice (Michaelmas, MPhil ACS)
- 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)
Dr Eiko Yoneki
- Large-scale data processing and optimisation (Michaelmas, MPhil ACS, Part III)
Shih-Chun You
- Hardware Security (Michaelmas, MPhil ACS, Part III)
Dr Luca Zanetti
Dr Noa Zilberman
- Introduction to networking and systems measurements (Michaelmas, MPhil ACS, Part III)
- High performance networking (Lent, MPhil ACS, Part III)