Index of courses by lecturer
Please check the lecture timetables for timetable details.
Dr Rika Antonova
- Reinforcement Learning (Michaelmas, MPhil ACS, Part III)
- Deep Neural Networks (Lent, Part II CST)
Dr Tiago Azevedo
Rini Banerjee
- Hoare Logic and Model Checking (Easter, Part II CST)
Dr Thomas Bauereiss
- Proof Assistants (Lent, MPhil ACS, Part III)
Prof Alastair Beresford
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Registration (Michaelmas, Part IA CST)
Prof Alan Blackwell
- Group Project (Michaelmas, Lent, Part IB CST)
- Practical Research in Human-centred AI (Michaelmas, Part II CST)
- Practical Research in Human-centred AI (Michaelmas, MPhil ACS, Part III)
- Further Human–Computer Interaction (Lent, Part IB CST)
Prof Paula Buttery
- Introduction to Natural Language Syntax and Parsing (Michaelmas, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST)
- Formal Models of Language (Easter, Part IB CST)
Yulong Chen
- Natural Language Processing (Michaelmas, Part II CST)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
Dr Luke Church
Dr Richard Clayton
- Cybercrime (Lent, Part II CST)
- Cybercrime (Lent, MPhil ACS, Part III)
(to be confirmed)
- Software and Security Engineering (Easter, Part IA CST)
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)
Dr Carl Henrik Ek
- Machine Learning and the Physical World (Michaelmas, MPhil ACS, Part III)
Dr John Fawcett
- Algorithms 1 (Lent, Part IA CST)
- Algorithms 2 (Lent, Part IA CST)
Prof Marcelo Fiore
- Category Theory (Michaelmas, Part II CST)
- Category Theory (Michaelmas, MPhil ACS, Part III)
- Discrete Mathematics (Michaelmas, Lent, Part IA CST)
Dr David Greaves
- Databases (Michaelmas, Part IA CST)
- Programming in C and C++ (Michaelmas, Part IB CST)
- Computer Networking (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)
Dr Robert Harle
- Preparation for Computer Science (Pre-arrival, Part IA CST)
- Group Project (Michaelmas, Lent, Part IB 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)
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)
- Artificial Intelligence (Easter, Part IB CST)
Dr Daniel Hugenroth
Dr Jack Hughes
- Cybercrime (Lent, Part II CST)
- Cybercrime (Lent, MPhil ACS, Part III)
Dr 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)
Prof Mateja Jamnik
- Explainable Artificial Intelligence (Lent, MPhil ACS, Part III)
- Logic and Proof (Lent, Part IB CST)
- Theory of Deep Learning (Lent, MPhil ACS, Part III)
- Introduction to Probability (Easter, Part IA CST)
Dr Evangelia Kalyvianaki
- Cloud Computing (Lent, Part II CST)
Hiroyuki Katsura
- Hoare Logic and Model Checking (Easter, Part II CST)
Dr Martin Kleppmann
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Concurrent and Distributed Systems (Michaelmas, Part IB CST)
- Cryptography and Protocol Engineering (Lent, MPhil ACS, Part III)
- Operating Systems (Lent, Part IA CST)
Dr Neel Krishnaswami
- Types (Michaelmas, Part II CST)
- Algebraic Techniques for Programming (Lent, Part II 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)
Dr Ian Lewis
- Prolog (Lent, Part IB CST)
Prof Pietro Lio'
- Bioinformatics (Michaelmas, Part II CST)
- Geometric Deep Learning (Lent, MPhil ACS, Part III)
- Principles of AI-driven Neuroscience and Translational Biomedicine (Lent, MPhil ACS, Part III)
Dr Jon Ludlam
- Foundations of Computer Science (Michaelmas, Part IA CST)
- OCaml Practical Classes (Michaelmas, Part IA CST)
Michail Mamalakis
Dr 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
- Introduction to Natural Language Syntax and Parsing (Michaelmas, MPhil ACS, Part III)
- Machine Learning and Real-world Data (Lent, Part IA CST)
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 Simon Moore
- ECAD and Architecture Practical Classes (Michaelmas, Part IB CST)
- Introduction to Computer Architecture (Michaelmas, Part IB CST)
- Advanced Topics in Computer Architecture (Lent, MPhil ACS, Part III)
Dr Robert Mullins
- Advanced Computer Architecture (Lent, Part II CST)
- Advanced Topics in Computer Architecture (Lent, MPhil ACS, Part III)
Dr Prakash Murali
- Understanding Quantum Architecture (Michaelmas, MPhil ACS, Part III)
- Understanding Quantum Architecture (Michaelmas, Part II CST)
- Quantum Computing (Lent, Part II CST)
Dr 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 Ferdinando Samaria
- Digital Money and Decentralised Finance (Michaelmas, MPhil ACS, Part III)
Dr Advait Sarkar
- Practical Research in Human-centred AI (Michaelmas, Part II CST)
- Practical Research in Human-centred AI (Michaelmas, MPhil ACS, Part III)
Dr Sue Sentance
- Computing Education (Lent, Part II CST)
Prof Peter Sewell
- Multicore Semantics and Programming (Lent, MPhil ACS, Part III)
- Multicore Semantics and Programming (Lent, Part II CST)
- Proof Assistants (Lent, MPhil ACS, Part III)
- Semantics of Programming Languages (Lent, Part IB CST)
Dr Zohreh Shams
Prof Frank Stajano
- Digital Money and Decentralised Finance (Michaelmas, MPhil ACS, Part III)
- Cybersecurity (Easter, Part IB CST)
Dr Leo Ali Dominique Stefanesco
- Proof Assistants (Lent, MPhil ACS, Part III)
Dr Jon Sterling
- Discrete Mathematics (Michaelmas, Lent, Part IA CST)
- Homotopy Type Theory & Univalent Foundations (Michaelmas, MPhil ACS, Part III)
Dr Weiwei Sun
- Introduction to Computational Semantics (Michaelmas, MPhil ACS, Part III)
- Natural Language Processing (Michaelmas, Part II CST)
- Overview of Natural Language Processing (Michaelmas, MPhil ACS, Part III)
Prof Simone Teufel
- Introduction to Computational Semantics (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)
Dr Petar Veličković
- Geometric Deep Learning (Lent, MPhil ACS, Part III)
Prof Jamie Vicary
Prof Andreas Vlachos
- Machine Learning for Language Processing (Michaelmas, MPhil ACS, Part III)
Dr Ian Wassell
- Digital Electronics (Michaelmas, Part IA CST)
- Hardware Practical Classes (Michaelmas, Lent, Part IA CST)
Prof Robert Watson
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
Dr Damon Wischik
- Data Science (Michaelmas, Part IB CST)
Dr Jonathan Woodruff
Dr Jeremy Yallop
- Advanced topics in programming languages (Michaelmas, MPhil ACS, Part III)
- Compiler Construction (Lent, Part IB CST)
Dr Eiko Yoneki
- Large-scale data processing and optimisation (Michaelmas, MPhil ACS, Part III)