Department of Computer Science and Technology, University of Cambridge
July 30, 2025•318 words
Department of Computer Science and Technology, University of Cambridge
Lecture course material
https://www.cst.cam.ac.uk/teaching/material
Cambridge Courses 2024 -2025
https://www.cl.cam.ac.uk/teaching/2425/lecturers.html
Logic and Proof
https://www.cl.cam.ac.uk/teaching/2425/LogicProof/materials.html
Proof Assistants
https://www.cl.cam.ac.uk/teaching/2425/L81/
Discrete Mathematics
https://www.cl.cam.ac.uk/teaching/2425/DiscMath/materials.html
Introduction to Probability
https://www.cl.cam.ac.uk/teaching/2425/IntroProb/
Category Theory
https://www.cl.cam.ac.uk/teaching/2425/CAT/
Economics, Law and Ethics
https://www.cl.cam.ac.uk/teaching/2425/EconLaw/
Business Studies
https://www.cl.cam.ac.uk/teaching/2425/Business/
E-Commerce
https://www.cl.cam.ac.uk/teaching/2425/ECommerce/
Foundations of Computer Science
https://www.cl.cam.ac.uk/teaching/2425/FoundsCS/materials.html
Digital Electronics
https://www.cl.cam.ac.uk/teaching/2425/DigElec/materials.html
Digital Signal Processing
https://www.cl.cam.ac.uk/teaching/2425/DSP/materials.html
Introduction to Computer Architecture
https://www.cl.cam.ac.uk/teaching/2425/IntComArch/materials.html
Advanced Topics in Computer Architecture
https://www.cl.cam.ac.uk/teaching/2425/R265/materials.html
Operating Systems
https://www.cl.cam.ac.uk/teaching/2425/OpSystems/materials/
Unix Tools
https://www.cl.cam.ac.uk/teaching/2425/UnixTools/materials.html
Computer Networking
https://www.cl.cam.ac.uk/teaching/2425/CompNet/materials.html
Principles of Communications
https://www.cl.cam.ac.uk/teaching/2425/PrincComm/
Introduction to networking and systems measurements
https://www.cl.cam.ac.uk/teaching/2425/L50/
Network Architectures
https://www.cl.cam.ac.uk/teaching/2425/R02/
Compiler Construction
https://www.cl.cam.ac.uk/teaching/2425/CompConstr/materials.html
Optimising Compilers
https://www.cl.cam.ac.uk/teaching/2425/OptComp/materials.html
Introduction to Computational Semantics
https://www.cl.cam.ac.uk/teaching/2425/L98/
Semantics of Programming Languages
https://www.cl.cam.ac.uk/teaching/2425/Semantics/materials.html
Multicore Semantics and Programming
https://www.cl.cam.ac.uk/teaching/2425/MSP/
Hoare Logic and Model Checking
https://www.cl.cam.ac.uk/teaching/2425/HLog+ModC/
Algorithms 1
https://www.cl.cam.ac.uk/teaching/2425/Algorithm1/
Algorithms 2
https://www.cl.cam.ac.uk/teaching/2425/Algorithm2/materials.html
Computation Theory
https://www.cl.cam.ac.uk/teaching/2425/CompTheory/
Complexity Theory
https://www.cl.cam.ac.uk/teaching/2425/Complexity/
Software and Security Engineering
https://www.cl.cam.ac.uk/teaching/2425/SWSecEng/
Advanced Topics in Computer Systems
https://www.cl.cam.ac.uk/teaching/2425/R01/
Programming in C and C++
https://www.cl.cam.ac.uk/teaching/2425/ProgC/
Scientific Computing
https://www.cl.cam.ac.uk/teaching/2425/SciComp/materials.html
Computing for Collective Intelligence
https://www.cl.cam.ac.uk/teaching/2425/R181/materials.html
Concurrent and Distributed Systems
https://www.cl.cam.ac.uk/teaching/2425/ConcDisSys/
Prolog
https://www.cl.cam.ac.uk/teaching/2425/Prolog/
Cloud Computing
https://www.cl.cam.ac.uk/teaching/2425/CC/
Cybersecurity
https://www.cl.cam.ac.uk/teaching/2425/CySecurity/
Databases
https://www.cl.cam.ac.uk/teaching/2425/Databases/
Data Science
https://www.cl.cam.ac.uk/teaching/2425/DataSci/
Quantum Computing
https://www.cl.cam.ac.uk/teaching/2425/QuantComp/materials.html
Understanding Quantum Architecture
https://www.cl.cam.ac.uk/teaching/2425/L132/
Quantum Algorithms and Complexity
https://www.cl.cam.ac.uk/teaching/2425/L130/
Computer Systems Modelling
https://www.cl.cam.ac.uk/teaching/2425/CSM/
Interaction Design
https://www.cl.cam.ac.uk/teaching/2425/IntDesign/
Cryptography
https://www.cl.cam.ac.uk/teaching/2425/Crypto/
Distributed Ledger Technologies: Foundations and Applications
https://www.cl.cam.ac.uk/teaching/2425/R47/
Formal Models of Language
https://www.cl.cam.ac.uk/teaching/2425/ForModLang/
Principles of Machine Learning Systems
https://www.cl.cam.ac.uk/teaching/2425/L46/
Machine Learning and Real-world Data
https://www.cl.cam.ac.uk/teaching/2425/MLRD/
Machine Learning and the Physical World
https://www.cl.cam.ac.uk/teaching/2425/L48/
Advanced topics in machine learning
https://www.cl.cam.ac.uk/teaching/2425/R255/
Reinforcement Learning
https://www.cl.cam.ac.uk/teaching/2425/R171/
Federated Learning: Theory and Practice
https://www.cl.cam.ac.uk/teaching/2425/FL/
Overview of Natural Language Processing
https://www.cl.cam.ac.uk/teaching/2425/L390/materials.html
Natural Language Processing
https://www.cl.cam.ac.uk/teaching/2425/NLP/
Introduction to Natural Language Syntax and Parsing
https://www.cl.cam.ac.uk/teaching/2425/L95/
Theory of Deep Learning
https://www.cl.cam.ac.uk/teaching/2425/R252/
Deep Neural Networks
https://www.cl.cam.ac.uk/teaching/2425/DNN/
Artificial Intelligence
https://www.cl.cam.ac.uk/teaching/2425/ArtInt/
Affective Artificial Intelligence
https://www.cl.cam.ac.uk/teaching/2425/AAI/
Theories of Socio-digital Design for Human-Centred AI
https://www.cl.cam.ac.uk/teaching/2425/R225/
Interaction Design
https://www.cl.cam.ac.uk/teaching/2425/IntDesign/
Further Human–Computer Interaction
https://www.cl.cam.ac.uk/teaching/2425/FHCI/
Practical Research in Human-centred AI
https://www.cl.cam.ac.uk/teaching/2425/P342/materials.html
Explainable Artificial Intelligence
https://www.cl.cam.ac.uk/teaching/2425/L193/
Types
https://www.cl.cam.ac.uk/teaching/2425/Types/materials.html
Registration
https://www.cl.cam.ac.uk/teaching/2425/Registratn/
Mobile Health
https://www.cl.cam.ac.uk/teaching/2425/L349/
Bioinformatics
https://www.cl.cam.ac.uk/teaching/2425/Bioinfo/