Index of courses by lecturer
Please check the lecture timetables for timetable details.
Dr Rika Antonova
- Advanced Reinforcement Learning (Lent, MPhil ACS, Part III)
- Deep Neural Networks (Lent, Part II CST)
Prof Steve Awodey
- Homotopy Type Theory (Lent, MPhil ACS, Part III)
Dr Tiago Azevedo
Rini Banerjee
- Hoare Logic and Model Checking (Easter, Part II CST)
Dr Thomas Bauereiss
- Proof Assistants (Michaelmas, MPhil ACS, Part III)
Prof Alastair Beresford
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Registration (Michaelmas, Part IA CST)
- Cybersecurity (Easter, Part IB CST)
Prof Paula Buttery
- Human Language Structures and Computation (Lent, MPhil ACS, Part III)
- Formal Models of Language (Easter, Part IB CST)
Dr Yulong Chen
- Natural Language Processing (Michaelmas, Part II CST)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
Dr Luke Church
Prof Richard Clayton
- Cybercrime (Lent, Part II CST)
- Cybercrime (Lent, MPhil ACS, Part III)
Prof Jon Crowcroft
- Network Architectures (Michaelmas, MPhil ACS, Part III)
- Principles of Communications (Michaelmas, Part II CST)
Prof Anuj Dawar
- Computation Theory (Lent, Part IB CST)
Prof Carl Henrik Ek
- Machine Learning and the Physical World (Michaelmas, MPhil ACS, Part III)
- Explainable Artificial Intelligence (Lent, MPhil ACS, Part III)
- Introduction to Probability (Easter, Part IA CST)
Dr John Fawcett
- Algorithms 1 (Lent, Part IA CST)
- Algorithms 2 (Lent, Part IA CST)
Dr David Greaves
- Programming in C and C++ (Michaelmas, Part IB CST)
- Compiler Construction (Lent, Part IB CST)
Dr Tobias Grosser
- Group Project (Michaelmas, Lent, Part IB CST)
- Optimising Compilers (Lent, Part II CST)
Prof Hatice Gunes
- Affective Artificial Intelligence (Michaelmas, Part II CST)
- Affective Artificial Intelligence (Michaelmas, MPhil ACS, Part III)
- Interaction Design (Easter, Part IA CST)
Prof Tom Gur
- Quantum Complexity Theory (Michaelmas, MPhil ACS, Part III)
- Quantum Complexity Theory (Michaelmas, Part II CST)
- Complexity Theory (Easter, Part IB CST)
Dr Jing Han
- Mobile Health (Lent, MPhil ACS, Part III)
- Mobile Health (Lent, Part II CST)
Prof Robert Harle
- Preparation for Computer Science (Pre-arrival, Part IA CST)
- Information Theory (Michaelmas, Part II CST)
- Object-Oriented Programming (Michaelmas, Part IA CST)
- Registration (Michaelmas, Part IA CST)
Dr Anthony Harris
- Business Studies (Michaelmas, Part II CST)
- Group Project (Michaelmas, Lent, Part IB CST)
- E-Commerce (Lent, Part II CST)
- Business Studies Seminars (Easter, Part II CST)
Dr Timothy Harris
- Multicore Semantics and Programming (Lent, MPhil ACS, Part III)
- Multicore Semantics and Programming (Lent, Part II CST)
Dr Steven Herbert
- Quantum Computing (Lent, Part II CST)
Dr Sean Holden
- Machine Learning and Bayesian Inference (Lent, Part II CST)
- Theory of Deep Learning (Lent, MPhil ACS, Part III)
- Artificial Intelligence (Easter, Part IB CST)
Dr Jack Hughes
- Cybercrime (Lent, Part II CST)
- Cybercrime (Lent, MPhil ACS, Part III)
Prof Ferenc Huszar
- Deep Neural Networks (Lent, Part II CST)
Prof Alice Hutchings
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Economics, Law and Ethics (Michaelmas, Part IB CST)
- Cybercrime (Lent, Part II CST)
- Cybercrime (Lent, MPhil ACS, Part III)
Dr Jasmin JAHIĆ
Dr Christian Cabrera Jojoa
Prof Timothy Jones
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- Optimising Compilers (Lent, Part II CST)
Prof Evangelia Kalyvianaki
- Cloud Computing (Lent, Part II CST)
Hiroyuki Katsura
- Hoare Logic and Model Checking (Easter, Part II CST)
Prof Srinivasan Keshav
- Computer Systems Modelling (Michaelmas, Part II CST)
- Computing for the Energy Transition (Lent, Part II CST)
- Computing for the Energy Transition (Lent, MPhil ACS, Part III)
Dr Martin Kleppmann
- Concurrent and Distributed Systems (Michaelmas, Part IB CST)
- Databases (Michaelmas, Part IA CST)
Prof Neel Krishnaswami
- Types (Michaelmas, Part II CST)
- Logic and Proof (Lent, Part IB CST)
Dr Markus Kuhn
- Digital Signal Processing (Michaelmas, Part II CST)
- Digital Signal Processing (Michaelmas, MPhil ACS, Part III)
- LaTeX and Julia (Michaelmas, Part II CST)
- Unix Tools (Michaelmas, Part IB CST)
- Cryptography (Lent, Part II CST)
Prof Nic Lane
- Deep Neural Networks (Lent, Part II CST)
- Principles of Machine Learning Systems (Lent, MPhil ACS, Part III)
Prof Neil Lawrence
- Information, Energy and Intelligence (Michaelmas, MPhil ACS, Part III)
- AI-Augmented Software Engineering (Lent, MPhil ACS, Part III)
Dr Ian Lewis
- Prolog (Lent, Part IB CST)
Prof Pietro Lio'
Dr Jon Ludlam
- OCaml Practical Classes (Michaelmas, Part IA CST)
Dr Dong Ma
- Artificial Intelligence of Things (Michaelmas, Part II CST)
- Artificial Intelligence of Things (Michaelmas, MPhil ACS, Part III)
Prof Anil Madhavapeddy
- Foundations of Computer Science (Michaelmas, Part IA CST)
Dr Michail Mamalakis
Prof Rafal Mantiuk
- Advanced Graphics and Image Processing (Michaelmas, Part II CST)
- Advanced Graphics and Image Processing (Michaelmas, MPhil ACS, Part III)
- Introduction to Graphics (Michaelmas, Part IA CST)
Dr Ioannis Markakis
- Denotational Semantics (Michaelmas, Part II CST)
Dr Fermin Moscoso del Prado Martin
- Natural Language Processing (Michaelmas, Part II CST)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Human Language Structures and Computation (Lent, MPhil ACS, Part III)
Prof Cecilia Mascolo
- Mobile Health (Lent, MPhil ACS, Part III)
- Mobile Health (Lent, Part II CST)
Stewart McTavish
- Business Studies (Michaelmas, Part II CST)
- E-Commerce (Lent, Part II CST)
- Business Studies Seminars (Easter, Part II CST)
Dr Challenger Mishra
- Theory of Deep Learning (Lent, MPhil ACS, Part III)
Prof Andrew Moore
- Introduction to Networking and Systems Measurements (Michaelmas, MPhil ACS, Part III)
- Computer Networking (Lent, Part IB CST)
- Understanding Networked-Systems Performance (Lent, MPhil ACS, Part III)
Prof Simon Moore
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- ECAD and Architecture Practical Classes (Michaelmas, Part IB CST)
- Introduction to Computer Architecture (Michaelmas, Part IB CST)
Prof Richard Mortier
- Advanced Topics in Computer Systems (Michaelmas, MPhil ACS, Part III)
- Security, Privacy and Accountability in AI-Driven IoT Systems (Michaelmas, MPhil ACS, Part III)
- Operating Systems (Lent, Part IA CST)
Prof Robert Mullins
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
- Advanced Computer Architecture (Lent, Part II CST)
Dr Prakash Murali
- Understanding Quantum Architecture (Michaelmas, MPhil ACS, Part III)
- Quantum Computing (Lent, Part II CST)
Prof Cengiz Oztireli
- Further Graphics (Michaelmas, Part IB CST)
- Machine Visual Perception (Michaelmas, MPhil ACS, Part III)
- Machine Visual Perception (Michaelmas, Part II CST)
Dr Titouan Parcollet
Prof Amanda Prorok
- Computing for Collective Intelligence (Lent, MPhil ACS, Part III)
- Mobile Robot Systems (Lent, Part II CST)
Dr Christopher Pulte
Dr Vadim Safronov
Dr Advait Sarkar
Prof Thomas Sauerwald
- Randomised Algorithms (Lent, Part II CST)
- Introduction to Probability (Easter, Part IA CST)
Dr Katie Seaborn
- Countertechnologies: Better Technology Through Critical Practice (Michaelmas, MPhil ACS, Part III)
- Group Project (Michaelmas, Lent, Part IB CST)
- Further Human–Computer Interaction (Lent, Part IB CST)
Prof Sue Sentance
- Computing Education (Lent, Part II CST)
Prof Peter Sewell
- Proof Assistants (Michaelmas, MPhil ACS, Part III)
- Multicore Semantics and Programming (Lent, MPhil ACS, Part III)
- Multicore Semantics and Programming (Lent, Part II CST)
- Semantics of Concurrency (Lent, MPhil ACS, Part III)
- Semantics of Programming Languages (Lent, Part IB CST)
Dr Zohreh Shams
Dr Leo Ali Dominique Stefanesco
- Proof Assistants (Michaelmas, MPhil ACS, Part III)
Dr Jon Sterling
- Discrete Mathematics (Michaelmas, Lent, Part IA CST)
- Homotopy Type Theory (Lent, MPhil ACS, Part III)
Prof Simone Teufel
- Introduction to Computational Semantics and Pragmatics (Michaelmas, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST)
Dr Christopher Town
- Machine Visual Perception (Michaelmas, MPhil ACS, Part III)
- Machine Visual Perception (Michaelmas, Part II CST)
Prof Andreas Vlachos
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST)
Prof Ian Wassell
- Digital Electronics (Michaelmas, Part IA CST)
- Hardware Practical Classes (Michaelmas, Lent, Part IA CST)
Prof Robert Watson
- Advanced Operating Systems (Michaelmas, MPhil ACS, Part III)
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
Dr Damon Wischik
- Data Science (Michaelmas, Part IB CST)
- Probabilistic Machine Learning (Michaelmas, MPhil ACS, Part III)
Dr Jonathan Woodruff
- Advanced Topics in Computer Architecture (Michaelmas, MPhil ACS, Part III)
Dr Eiko Yoneki
- Large-scale Data Processing and Optimisation (Michaelmas, MPhil ACS, Part III)
Mateo Espinosa Zarlenga
(to be confirmed)
- Software and Security Engineering (Easter, Part IA CST)