Course pages 2019–20
Part II CST 75%
In addition to courses examined in Tripos papers 8 and 9, students also select two further units of assessment, which are examined separately.
Please check the official timetables for timetable details.
Michaelmas term
- Bioinformatics – Prof Pietro Lio
- Business Studies – Jack Lang, Stewart McTavish
- Denotational Semantics – Prof Marcelo Fiore
- Information Theory – Prof John Daugman
- LaTeX and MATLAB – Dr Markus Kuhn
- Principles of Communications – Prof Jon Crowcroft
- Types – Dr Neel Krishnaswami
Units of assessment:
- Advanced Graphics and Image Processing – Dr Rafal Mantiuk
- Data Science: principles and practice – Dr Ekaterina Kochmar, Dr Guy Emerson, Dr Damon Wischik
- Digital Signal Processing – Dr Markus Kuhn
- Multicore Semantics and Programming – Prof Peter Sewell, Dr Timothy Harris
- Natural Language Processing – Prof Simone Teufel, Prof Paula Buttery, Dr Ryan Cotterell, Dr Andreas Vlachos
Lent term
- Comparative Architectures – Dr Robert Mullins
- Computer Vision – Prof John Daugman
- Cryptography – Dr Markus Kuhn
- E-Commerce – Jack Lang, Stewart McTavish
- Machine Learning and Bayesian Inference – Dr Sean Holden
- Mobile and Sensor Systems – Prof Cecilia Mascolo, Dr Robert Harle
- Optimising Compilers – Dr Timothy Jones
- Quantum Computing – Dr Steven Herbert
Units of assessment:
- Cloud Computing – Dr Eva Kalyvianaki, Dr Anil Madhavapeddy
- Mobile Robot Systems – Dr Amanda Prorok
- Probability and Computation – Dr Thomas Sauerwald, Dr Nicolas Rivera, Dr John Sylvester, Dr Luca Zanetti
- Topics in Concurrency – Prof Glynn Winskel
Easter term
- Advanced Algorithms – Dr Thomas Sauerwald
- Business Studies Seminars – Jack Lang, Stewart McTavish
- Hoare Logic and Model Checking – Dr Jean Pichon