Link-check sitemap
This version of the sitemap also includes information from a link check. Color scheme:
- redirect to CST site OK
- redirect to CST site ACCESS DENIED
- redirect to CST site NOT FOUND
- Raven login required
- other HTTP status than OK
This sitemap shows the navigation structure of the main web pages of the department, but does not recurse into parts of the web site that are not maintained by the departmental pagemasters, e.g. pages belonging to individuals or research groups.
- The department
intro/ 302 301 200- People
people/- Academic staff
people/academic.html - Support staff
people/support.html - Contract researchers
people/researchers.html - Fellows & affiliates
people/fellows.html - PhD students
people/students.html - Visitors
people/visitors.html
- Seminars
seminars/ 301 301 200- Wednesday Seminar Series
seminars/wednesday/ 301 301 200- Recordings
seminars/wednesday/video/- 2023/2024
seminars/wednesday/video/2023.html - 2022/2023
seminars/wednesday/video/2022.html - 2021/2022
seminars/wednesday/video/2021.html - 2020/2021
seminars/wednesday/video/2020.html - 2019/2020
seminars/wednesday/video/2019.html - 2018/2019
seminars/wednesday/video/2018.html - 2015/2016
seminars/wednesday/video/2015.html
- Wheeler Lectures
seminars/wheeler/ 301 301 301 200- 2020 Sophie Wilson →
seminars/wheeler/[...] - 2019 Jane Hillston
seminars/wheeler/jane-hillston/ - 2018 Stephen Pulman
seminars/wheeler/stephen-pulman/ - 2017 Angela Sasse
seminars/wheeler/angela-sasse/ - 2016 Andrew Herbert
seminars/wheeler/andrew-herbert/ - 2015 Butler Lampson
seminars/wheeler/butler-lampson/ - 2014 Jeannette M. Wing
seminars/wheeler/jm-wing/ - 2013 Tony Hoare
seminars/wheeler/tony-hoare/ - 2012 Bjarne Stroustrup
seminars/wheeler/bjarne-stroustrup/
- women@cl 10th Anniversary →
seminars/[...] 302 200 - Computer Laboratory 75th Anniversary →
seminars/[...] 302 200
- History
history/ 302 301 200 - Facilities
facilities/- Reception
facilities/reception.html - Food
facilities/catering.html - Shopping and leisure
facilities/leisure.html - Cycling
facilities/cycling/
- Library resources
library/- Library induction
library/induction.html - Guides
library/guides/- Library resources guide
library/guides/libguide.html - Undergraduate library guide
library/guides/ugguide.html - Brief library guide
library/guides/briefguide.html
- Catalogues
library/catalogues.html - Electronic resources
library/biblio.html - Virtual journals shelf
library/journals.html - Local services
library/local.html - Lab technical reports →
library/[...] 302 200 - External technical reports
library/reports.html - Resource lists
library/reslists/- Integrated circuits
library/reslists/circuits.html - Microprocessor architectures
library/reslists/procarc.html - Computer networks
library/reslists/networks.html - Programming languages
library/reslists/proglang.html - Virtual machines
library/reslists/vmach.html - Operating systems
library/reslists/opsys.html - Encryption algorithms
library/reslists/encrypt.html - Coding & Information theory
library/reslists/codes.html - Algorithms
library/reslists/algorithm.html - Mathematical Logic
library/reslists/mathlogic.html - Mathematics and numerical analysis
library/reslists/math.html - Discrete mathematics
library/reslists/discmath.html - Information Retrieval
library/reslists/inforet.html - Artificial intelligence
library/reslists/artint.html - Signal Processing and Pattern Classification
library/reslists/sigproc.html - Document Markup
library/reslists/markup.html - Bioinformatics
library/reslists/bioinfo.html - Social Aspects of Computing
library/reslists/social.html
- Reading lists
library/booklists/ - Historical Library Photographs
library/photos/ - Archives
library/archives.html
- Maps and directions
maps/ - Contact information
contact/ 302 301 200
- Research
research/- Artificial Intelligence
research/ai/- People
research/ai/people/ - Group Meetings
research/ai/meetings/ - Project ideas for current students
research/ai/projectideas/
- Computer Architecture
research/comparch/- Projects and research topics
research/comparch/research/ 302 200- Loki Processor
research/comparch/research/loki.html 302 200 - CHERI Project
research/comparch/research/cheri.html 302 200 - HELIX
research/comparch/research/helix.html 302 200 - [no title found]
research/comparch/research/janus.html 302 200 - DOME
research/comparch/research/dome.html 302 200 - IOSEC Project
research/comparch/research/iosec.html 302 200 - SafeBet Project
research/comparch/research/safebet.html 302 200 - POETS Project
research/comparch/research/poets.html 302 200 - Research Platforms
research/comparch/research/platforms.html 302 200
- [no title found]
research/comparch/project_suggestions/ 302 200 - People
research/comparch/people/ 302 200 - Selected Publications
research/comparch/publications/ 302 200 - Open source components
research/comparch/opensource/ 302 200- DE4 Tablet computer
research/comparch/opensource/de4tablet/ 302 200 - PCIe to SATA breakout board
research/comparch/opensource/pcie-sata/ 302 200
- Group Meetings
research/comparch/meetings/ 302 200 - Contact Details
research/comparch/contact.html
- Graphics & Interaction
research/rainbow/- Research
research/rainbow/research/- Subdivision surfaces
research/rainbow/research/subdivision.html - Aesthetic imaging
research/rainbow/research/imagination.html - Stereoscopic 3D displays
research/rainbow/research/autostereo.html - Emotionally intelligent interfaces →
research/rainbow/research/[...]/ - Human identity in an age of machines →
research/rainbow/research/[...]/ - Affective robotics →
research/rainbow/research/[...] - Learning and emotions →
research/rainbow/research/[...] - Ovine affect
research/rainbow/research/animals.html - Automotive applications
research/rainbow/research/endeavour.html - Personal projected displays
research/rainbow/research/ppd.html - Inclusive user interfaces
research/rainbow/research/iui.html - Intelligent book
research/rainbow/research/intelligent-book.html - Cognitive dimensions of notations
research/rainbow/research/cogdim.html - End user programming
research/rainbow/research/enduser.html - Visual and Tangible Interaction
research/rainbow/research/representation.html
- Emotionally intelligent interfaces
research/rainbow/emotions/- The emotional computer →
research/rainbow/emotions/[...] 301 200 - Facial affect inference
research/rainbow/emotions/faim.html - Mind-reading machines
research/rainbow/emotions/mrm.html - Demonstrations of mind-reading machines
research/rainbow/emotions/demo/ - Body movement analysis
research/rainbow/emotions/bodyma.html - Vocal affect inference
research/rainbow/emotions/vai.html - Affective robotics
research/rainbow/emotions/affrob.html - Robots for autism
research/rainbow/emotions/robotsASC.html - Learning and emotions
research/rainbow/emotions/learning.html - Persona
research/rainbow/emotions/persona.html - Hand-over-face gestures
research/rainbow/emotions/hand.html - Cam3D corpus
research/rainbow/emotions/cam3d.html - Rhythmic gestures dataset →
research/rainbow/emotions/[...]/ - Facial tracking
research/rainbow/emotions/facetrack/ - Ovine affect →
research/rainbow/emotions/[...] - Automotive applications →
research/rainbow/emotions/[...] - Human identity in an age of machines →
research/rainbow/emotions/[...]/ - Emotional intelligence
research/rainbow/emotions/annotation.html - Background reading
research/rainbow/emotions/reading.html
- Human identity in an age of machines
research/rainbow/faraday-ai/- Project proposal
research/rainbow/faraday-ai/proposal.html
- Members
research/rainbow/people/- PhD graduates
research/rainbow/people/pastphds.html - Other former members
research/rainbow/people/pastras.html - Neil Wiseman
research/rainbow/people/neilw.html
- Projects
research/rainbow/projects/- The effect of viewing distance and display peak luminance — HDR AV1 video streaming quality dataset
research/rainbow/projects/hdr-vdc/ - Perceptual Quality Assessment of NeRF and Neural View Synthesis Methods for Front-Facing Views
research/rainbow/projects/perceptualnerf/- Perceptual Quality Assessment of NeRF and Neural View Synthesis Methods for Front-Facing Views
research/rainbow/projects/perceptualnerf/perceptualnerf 404 - EyeCode: Perceptual encoding of high fidelity light fields
research/rainbow/projects/perceptualnerf/eyecode 404 - [no title found]
research/rainbow/projects/perceptualnerf/distil_style 404 - Impact of correct and simulated focus cues on perceived realism
research/rainbow/projects/perceptualnerf/focus_cues 404 - [no title found]
research/rainbow/projects/perceptualnerf/stelaCSF 404 - [no title found]
research/rainbow/projects/perceptualnerf/castleCSF 404 - Comparison of single image HDR reconstruction methods — the caveats of quality assessment
research/rainbow/projects/perceptualnerf/sihdr_benchmark 404 - Reproducing Reality with a High-Dynamic-Range Multi-Focal Stereo Display
research/rainbow/projects/perceptualnerf/hdrmfs 404 - ALSaRR: Perceptual Model for Adaptive Local Shading and Refresh Rate
research/rainbow/projects/perceptualnerf/alsarr 404 - FovVideoVDP: A visible difference predictor for wide field-of-view video
research/rainbow/projects/perceptualnerf/fovvideovdp 404 - HDR4CV: High dynamic range dataset with adversarial illumination for testing computer vision methods
research/rainbow/projects/perceptualnerf/hdr4cv-dataset 404 - [no title found]
research/rainbow/projects/perceptualnerf/mdf 404 - Noise-Aware Merging of High Dynamic Range Image Stacks without Camera Calibration
research/rainbow/projects/perceptualnerf/noise-aware-merging 404 - Consolidated Dataset and Metrics for High-Dynamic-Range Image Quality
research/rainbow/projects/perceptualnerf/upiq 404 - Transformation Consistency Regularization - A Semi Supervised Paradigm for Image to Image Translation
research/rainbow/projects/perceptualnerf/tcr 404 - A benchmark of light field view interpolation
research/rainbow/projects/perceptualnerf/lightfield-benchmark 404 - Motion Quality Model for Adaptive Rendering
research/rainbow/projects/perceptualnerf/motion_quality_model 404 - Contrast Perception for HDR
research/rainbow/projects/perceptualnerf/hdr-csf 404 - [no title found]
research/rainbow/projects/perceptualnerf/dice 404 - [no title found]
research/rainbow/projects/perceptualnerf/unified_quality_scale 404 - [no title found]
research/rainbow/projects/perceptualnerf/trm 404 - [no title found]
research/rainbow/projects/perceptualnerf/dpvm 404 - [no title found]
research/rainbow/projects/perceptualnerf/mhhri 404 - [no title found]
research/rainbow/projects/perceptualnerf/shape2vec 404 - [no title found]
research/rainbow/projects/perceptualnerf/openface 404 - [no title found]
research/rainbow/projects/perceptualnerf/syntheseyes 404 - [no title found]
research/rainbow/projects/perceptualnerf/pointsetsaliency 404 - [no title found]
research/rainbow/projects/perceptualnerf/shadingcurves 404 - [no title found]
research/rainbow/projects/perceptualnerf/ccnf 404 - [no title found]
research/rainbow/projects/perceptualnerf/netboards 404 - [no title found]
research/rainbow/projects/perceptualnerf/eyerender 404 - [no title found]
research/rainbow/projects/perceptualnerf/eyetab 404 - [no title found]
research/rainbow/projects/perceptualnerf/eyemodelfit 404 - [no title found]
research/rainbow/projects/perceptualnerf/ccrf 404 - [no title found]
research/rainbow/projects/perceptualnerf/cam3d 404 - [no title found]
research/rainbow/projects/perceptualnerf/rhythmic 404 - [no title found]
research/rainbow/projects/perceptualnerf/coloursampling 404 - [no title found]
research/rainbow/projects/perceptualnerf/clmz 404 - [no title found]
research/rainbow/projects/perceptualnerf/pupiltracking 404 - RGBZ video filtering →
research/rainbow/projects/perceptualnerf/[...] 301 301 301 200 - [no title found]
research/rainbow/projects/perceptualnerf/stereocomfort 404 - [no title found]
research/rainbow/projects/perceptualnerf/dcbgrid 404 - [no title found]
research/rainbow/projects/perceptualnerf/subdnurbs 404 - [no title found]
research/rainbow/projects/perceptualnerf/voronoivideo 404 - T3 tabletop toolkit
research/rainbow/projects/perceptualnerf/t3 404 - Mesostructure modelling
research/rainbow/projects/perceptualnerf/meso 404 - Image compositing
research/rainbow/projects/perceptualnerf/compositing 404
- EyeCode: Perceptual encoding of high fidelity light fields
research/rainbow/projects/eyecode/ - Distilling Style from Image Pairs for Global Forward and Inverse Tone Mapping
research/rainbow/projects/distil_style/ - Impact of correct and simulated focus cues on perceived realism
research/rainbow/projects/focus_cues/ - FovVideoVDP
research/rainbow/projects/stelaCSF/ - castleCSF
research/rainbow/projects/castleCSF/ - Comparison of single image HDR reconstruction methods — the caveats of quality assessment
research/rainbow/projects/sihdr_benchmark/ - Reproducing Reality with a High-Dynamic-Range Multi-Focal Stereo Display
research/rainbow/projects/hdrmfs/ - ALSaRR: Perceptual Model for Adaptive Local Shading and Refresh Rate
research/rainbow/projects/alsarr/ - FovVideoVDP: A visible difference predictor for wide field-of-view video
research/rainbow/projects/fovvideovdp/ - HDR4CV: High dynamic range dataset with adversarial illumination for testing computer vision methods
research/rainbow/projects/hdr4cv-dataset/ - TCR
research/rainbow/projects/mdf/ - Noise-Aware Merging of High Dynamic Range Image Stacks without Camera Calibration
research/rainbow/projects/noise-aware-merging/ - Consolidated Dataset and Metrics for High-Dynamic-Range Image Quality
research/rainbow/projects/upiq/ - Transformation Consistency Regularization - A Semi Supervised Paradigm for Image to Image Translation
research/rainbow/projects/tcr/ - A benchmark of light field view interpolation
research/rainbow/projects/lightfield-benchmark/- Light Field View Interpolation Benchmark
research/rainbow/projects/lightfield-benchmark/visualisation/
- Motion Quality Model for Adaptive Rendering
research/rainbow/projects/motion_quality_model/ - Contrast Perception for HDR
research/rainbow/projects/hdr-csf/ - DiCE
research/rainbow/projects/dice/ - From pairwise comparisons and rating to a unified quality scale
research/rainbow/projects/unified_quality_scale/ - Temporal Resolution Multiplexing
research/rainbow/projects/trm/ - Deep Photometric Visibility Metric
research/rainbow/projects/dpvm/ - MHHRI Dataset
research/rainbow/projects/mhhri/- MHHRI Dataset
research/rainbow/projects/mhhri/dataset.html
- Shape2Vec
research/rainbow/projects/shape2vec/ - OpenFace
research/rainbow/projects/openface/ - SynthesEyes
research/rainbow/projects/syntheseyes/ - Point Set Saliency
research/rainbow/projects/pointsetsaliency/ - Shading Curves
research/rainbow/projects/shadingcurves/- Shading curves results
research/rainbow/projects/shadingcurves/results/
- CCNF
research/rainbow/projects/ccnf/ - NetBoards
research/rainbow/projects/netboards/ - Rendering Eye Images
research/rainbow/projects/eyerender/ - EyeTab
research/rainbow/projects/eyetab/ - 3D Eye Model Fitting
research/rainbow/projects/eyemodelfit/ - CCRF
research/rainbow/projects/ccrf/ - Cam3D corpus
research/rainbow/projects/cam3d/- Cam3D corpus
research/rainbow/projects/cam3d/corpus.html
- Rhythmic Gestures
research/rainbow/projects/rhythmic/- Acted Rhythmic Gestures Dataset
research/rainbow/projects/rhythmic/corpus.html
- Random discrete colour sampling
research/rainbow/projects/coloursampling/ - CLM-Z
research/rainbow/projects/clmz/ - Robust pupil tracking
research/rainbow/projects/pupiltracking/- Datasets
research/rainbow/projects/pupiltracking/datasets/
- RGBZ video filtering →
research/rainbow/projects/[...] 301 301 301 200 - Predicting stereo viewing comfort
research/rainbow/projects/stereocomfort/ - Real-time spatiotemporal stereo matching
research/rainbow/projects/dcbgrid/- Supplementary material
research/rainbow/projects/dcbgrid/supplement/ - Datasets
research/rainbow/projects/dcbgrid/datasets/
- NURBS-compatible subdivision surfaces
research/rainbow/projects/subdnurbs/- NURBS with Extraordinary Points
research/rainbow/projects/subdnurbs/nurbswep.html - Related publications
research/rainbow/projects/subdnurbs/publications.html
- Voronoi Video Stylisation
research/rainbow/projects/voronoivideo/ - T3 tabletop toolkit
research/rainbow/projects/t3/ - Mesostructure modelling
research/rainbow/projects/meso/ - Image compositing
research/rainbow/projects/compositing/
- Applying to do a PhD
research/rainbow/applying.html - Project suggestions
research/rainbow/suggestions.html - Other information
research/rainbow/misc/- Rainbow Group offices
research/rainbow/misc/offices.html - Facilities
research/rainbow/misc/facilities.html - Administration
research/rainbow/misc/admin.html - CD, Video and DVD library
research/rainbow/misc/CD-video-DVD.html - Resources
research/rainbow/misc/resources.html
- Reading Club
research/rainbow/readingclub/
- Natural Language Processing
research/nl/- People
research/nl/people/- Former members
research/nl/people/former-members.html - NLIP Group photo
research/nl/people/nlip-group.html
- Publications
research/nl/publications.html - Projects
research/nl/projects/ - Postgraduate opportunities
research/nl/postgrads/- Masters projects in language processing
research/nl/postgrads/projects.html - Language modules on the ACS MPhil
research/nl/postgrads/modules.html - Language Sciences and the MPhil in Advanced Computer Science
research/nl/postgrads/lsip.html
- Resources
research/nl/resources/
- Programming, Logic, Semantics
research/pls/ - Security
research/security/- People
research/security/people/- Former members
research/security/people/former-members.html
- Publications
research/security/publications/ - Projects and topics
research/security/projects/- Banking security
research/security/banking/- EMV PIN verification “wedge” vulnerability
research/security/banking/nopin/ - Chip Authentication Programme (CAP) vulnerabilities
research/security/banking/emvcap/ - PIN Entry Device (PED) vulnerabilities
research/security/banking/ped/ - Chip & PIN (EMV) relay attacks
research/security/banking/relay/ - Tamper resistance of Chip & PIN (EMV) terminals
research/security/banking/tamper/ - Chip & PIN (EMV) interceptor
research/security/banking/interceptor/
- Positioning systems
research/security/location/ - Sensor networks
research/security/sensornets/- TinyOS Snippets
research/security/sensornets/tinyos/ - TinySec And MICAz
research/security/sensornets/tinysec/ - How to Attack a Network
research/security/sensornets/attacks/ - XMesh Internals
research/security/sensornets/xmesh/ - How to Use Scapy
research/security/sensornets/scapy/
- TAMPER Laboratory
research/security/tamper/ - CADETS
research/security/cadets/ - Capsicum
research/security/capsicum/- Publications, talks, blog articles, and documentation
research/security/capsicum/documentation.html - Capsicum for FreeBSD
research/security/capsicum/freebsd.html - Capsicum for Linux
research/security/capsicum/linux.html - Capsicum for DragonFlyBSD
research/security/capsicum/dragonflybsd.html - People
research/security/capsicum/people.html - Projects
research/security/capsicum/projects.html - Mailing list →
research/security/capsicum/[...] 302 200 - Related
research/security/capsicum/related.html - Code
research/security/capsicum/code.html
- CTSRD
research/security/ctsrd/- Project news
research/security/ctsrd/news.html - Bluespec Extensible RISC Implementation (BERI)
research/security/ctsrd/beri/- BERI frequently asked questions (FAQ)
research/security/ctsrd/beri/beri-faq.html - BERI open-source hardware downloads
research/security/ctsrd/beri/downloads-hw.html - BERI open-source software downloads
research/security/ctsrd/beri/downloads-sw.html - BERI documentation
research/security/ctsrd/beri/documentation.html - BERI mailing lists
research/security/ctsrd/beri/mailinglists.html
- Capsicum →
research/security/ctsrd/[...]/ - Capability Hardware Enhanced RISC Instructions (CHERI)
research/security/ctsrd/cheri/- CHERI Publications
research/security/ctsrd/cheri/cheri-publications.html - CHERI Software Stack
research/security/ctsrd/cheri/cheri-software.html - CHERI Rigorous Engineering
research/security/ctsrd/cheri/cheri-formal.html - CHERI Clang/LLVM and LLD
research/security/ctsrd/cheri/cheri-llvm.html - CheriBSD
research/security/ctsrd/cheri/cheribsd.html - CHERI Software Compartmentalization
research/security/ctsrd/cheri/cheri-compartmentalization.html - CHERI-QEMU
research/security/ctsrd/cheri/cheri-qemu.html - CHERI-WebKit
research/security/ctsrd/cheri/cheri-webkit.html - CHERI Concentrate
research/security/ctsrd/cheri/cheri-concentrate/ - CHERI-RISC-V
research/security/ctsrd/cheri/cheri-risc-v.html - CHERI Mailing Lists
research/security/ctsrd/cheri/cheri-lists.html - CHERI-CPU Slack
research/security/ctsrd/cheri/cheri-slack.html - Cambridge student project ideas
research/security/ctsrd/cheri/cheri-projectideas.html - The Digital Security by Design (DSbD) Initiative
research/security/ctsrd/cheri/dsbd.html - The Arm Morello Board
research/security/ctsrd/cheri/cheri-morello.html - CHERI Software for the Arm Morello Board
research/security/ctsrd/cheri/cheri-morello-software.html - Arm Morello return programme
research/security/ctsrd/cheri/cheri-morello-return.html - CHERI Workshops
research/security/ctsrd/cheri/workshops/- EuroSys 2016 - CHERI Microkernel Workshop
research/security/ctsrd/cheri/workshops/2016eurosys/ - ASPLOS 2022 - CHERI Workshop
research/security/ctsrd/cheri/workshops/2022asplos/ - DSbD All Hands October 2022 - Software porting to CHERI memory safety
research/security/ctsrd/cheri/workshops/2022.10dsbd/ - SOSP 2023 - CHERI Workshop
research/security/ctsrd/cheri/workshops/2023sosp/ - CHERITech'24
research/security/ctsrd/cheri/workshops/2024cheritech/
- Security-Oriented Analysis of Application Programs (SOAAP)
research/security/ctsrd/soaap/- Getting started
research/security/ctsrd/soaap/build.html - Workflow
research/security/ctsrd/soaap/workflow.html - Annotations
research/security/ctsrd/soaap/annotations.html - Command-line flags
research/security/ctsrd/soaap/flags.html
- Temporally Enhanced Security Logic Assertions (TESLA)
research/security/ctsrd/tesla/- Getting started
research/security/ctsrd/tesla/build.html - Workflow
research/security/ctsrd/tesla/workflow.html - Building FreeBSD
research/security/ctsrd/tesla/freebsd.html - Assertions and automata
research/security/ctsrd/tesla/programming.html - Demos
research/security/ctsrd/tesla/demos.html - API Documentation →
research/security/ctsrd/tesla/[...] 301 200
- Enhancing the Satisfiability Modulo Theories Experience (Smten)
research/security/ctsrd/smten.html - Publications
research/security/ctsrd/publications.html - Open Data
research/security/ctsrd/data/ - Posters and slides
research/security/ctsrd/posters-slides.html - Project members
research/security/ctsrd/people.html - Related
research/security/ctsrd/related.html
- Project ideas
research/security/project-ideas.html
- Security Seminar Series
research/security/seminars/- Information for speakers
research/security/seminars/speakerinfo.html - Archive
research/security/seminars/archive/- All
research/security/seminars/archive/all.html - 2024
research/security/seminars/archive/2024.html - 2023
research/security/seminars/archive/2023.html - 2022
research/security/seminars/archive/2022.html - 2021
research/security/seminars/archive/2021.html - 2020
research/security/seminars/archive/2020.html - 2019
research/security/seminars/archive/2019.html - 2018
research/security/seminars/archive/2018.html - 2017
research/security/seminars/archive/2017.html - 2016
research/security/seminars/archive/2016.html - 2015
research/security/seminars/archive/2015.html - 2014
research/security/seminars/archive/2014.html - 2013
research/security/seminars/archive/2013.html - 2012
research/security/seminars/archive/2012.html - 2011
research/security/seminars/archive/2011.html - 2010
research/security/seminars/archive/2010.html - 2009
research/security/seminars/archive/2009.html - 2008
research/security/seminars/archive/2008.html - 2007
research/security/seminars/archive/2007.html - 2006
research/security/seminars/archive/2006.html - 2005
research/security/seminars/archive/2005.html - 2004
research/security/seminars/archive/2004.html - 2003
research/security/seminars/archive/2003.html - 2002
research/security/seminars/archive/2002.html - 2001
research/security/seminars/archive/2001.html - 2000
research/security/seminars/archive/2000.html - 1999
research/security/seminars/archive/1999.html - 1998
research/security/seminars/archive/1998.html - 1997
research/security/seminars/archive/1997.html - 1996
research/security/seminars/archive/1996.html - 1995
research/security/seminars/archive/1995.html - 1994
research/security/seminars/archive/1994.html - 1993
research/security/seminars/archive/1993.html - 1992
research/security/seminars/archive/1992.html
- Meetings
research/security/meetings/- Past presentations
research/security/meetings/past-presentations.html
- Courses
research/security/courses/ - Posters
research/security/posters/ - Conferences
research/security/conferences/- All entries
research/security/conferences/all.html
- Journals
research/security/journals.html - Mailing lists
research/security/mailinglists/ - Data sets
research/security/datasets/- Grizzly: power-analysis traces for an 8-bit load instruction
research/security/datasets/grizzly/ - SHA3-32bit dataset: building templates for recovering SHA-3 inputs
research/security/datasets/sha3-32bit/
- blog →
research/security/[...]
- Systems
research/srg/- Research Projects
research/srg/projects/- Compute First Networking
research/srg/projects/cfn/ - Owl, Scientific Computing for OCaml
research/srg/projects/owl/
- Members
research/srg/people/ - Seminars
research/srg/seminars/ - Student Projects
research/srg/student-projects/
- Former research groups
research/past- Digital Technology Group
research/dtg/
- Research Admin →
research/[...] 403
- Admissions
admissions/ 302 200- Undergraduate Computer Science at Cambridge
admissions/undergraduate/ 301 200- Why Cambridge
admissions/undergraduate/about/ - Why CS
admissions/undergraduate/why/ - Course
admissions/undergraduate/course/ 301 301 200- 1st Year
admissions/undergraduate/year1/ - 1st Year – 50%
admissions/undergraduate/year1-50/ - 2nd Year
admissions/undergraduate/year2/ - 3rd Year
admissions/undergraduate/year3/ - 4th Year
admissions/undergraduate/year4/ - CS in Natural Sciences
admissions/undergraduate/nst-option/ 301 200 - Prospects
admissions/undergraduate/prospects/
- Open Days
admissions/undergraduate/events/ 301 301 200 - Apply
admissions/undergraduate/entry/ 301 200 - CSAT
admissions/undergraduate/csat/ 301 200- Practice [+] Platform
admissions/undergraduate/csat/practice/ 301 200
- FAQ
admissions/undergraduate/faq/ 301 200 - Downloads
admissions/undergraduate/downloads/ - Contact
admissions/undergraduate/contact/ 301 200 - Sitemap
admissions/undergraduate/sitemap/
- MPhil ACS
admissions/acs/ 302 301 200- Modules →
admissions/acs/[...] 302 302 200 - PhD applications →
admissions/acs/[...] 302 302 301 200 - Research →
admissions/acs/[...] 302 200 - Graduate Admissions Prospectus →
admissions/acs/[...] 301 302 302 403 - Funding deadlines →
admissions/acs/[...] 301 302 302 403
- PhD degree
admissions/phd/ 302 301 200- Research →
admissions/phd/[...] 302 200 - Graduate Admissions Prospectus →
admissions/phd/[...] 301 302 302 403 - Funding deadlines →
admissions/phd/[...] 301 302 302 403 - MPhil in Advanced Computer Science →
admissions/phd/[...] 302 302 301 200 - CPGS →
admissions/phd/[...] 302 301 200 - Premium Research Studentship
admissions/phd/rs-premium.html 302 301 200
- Student Administration
admissions/student-admin/ 302 301 200 - Discontinued courses
admissions/past- Diploma course
admissions/diploma/ - MPhil CSTIT
admissions/cstit/
- Teaching
teaching/ 301 301 200- Part IA →
teaching/[...] - Part IB →
teaching/[...] - Part II →
teaching/[...] - Masters courses
teaching/masters/ 301 301 200- Induction for M.Phil and Part III students
teaching/masters/week1.html 301 301 200 - ACS Forms
teaching/masters/forms.html 301 301 200 - Part III and ACS projects
teaching/masters/projects/ 301 301 200- ACS projects
teaching/masters/projects/acs/ 301 301 200- Guidance for ACS projects
teaching/masters/projects/acs/guidelines.html 301 301 200
- Part III projects
teaching/masters/projects/part3/ 301 301 301 200- Guidance for Part III projects
teaching/masters/projects/part3/guidelines.html 301 301 200
- Project suggestions
teaching/masters/projects/suggestions/ 301 301 403 - Submission of project reports
teaching/masters/projects/submission.html 301 301 200
- RSP Schedule
teaching/masters/RSP_schedule.html 301 403
- PhD students →
teaching/[...] - Freshers →
teaching/[...] - Courses 2022–23
teaching/2223/- Part IA CST
teaching/2223/part1a.html - Part IB CST
teaching/2223/part1b.html - Part II CST
teaching/2223/part2.html - Part III
teaching/2223/part3.html - MPhil ACS
teaching/2223/acs.html - Lecturer index
teaching/2223/lecturers.html - Instructions for lecturers
teaching/2223/instructions.html - Part IA CST
teaching/2223/year1- Preparation for Computer Science
teaching/2223/PrepCS/ - Databases
teaching/2223/Databases/ - Digital Electronics
teaching/2223/DigElec/ - Discrete Mathematics
teaching/2223/DiscMath/ - Foundations of Computer Science
teaching/2223/FoundsCS/ - Hardware Practical Classes
teaching/2223/HW/ - Introduction to Graphics
teaching/2223/Graphics/ - Object-Oriented Programming
teaching/2223/OOProg/ - OCaml Practical Classes
teaching/2223/OCaml/ - Registration
teaching/2223/Registratn/ - Scientific Computing Practical Course
teaching/2223/SciComp/ - Algorithms 1
teaching/2223/Algorithm1/ - Algorithms 2
teaching/2223/Algorithm2/ - Machine Learning and Real-world Data
teaching/2223/MLRD/ - Operating Systems
teaching/2223/OpSystems/ - Interaction Design
teaching/2223/IntDesign/ - Introduction to Probability
teaching/2223/IntroProb/ - Software and Security Engineering
teaching/2223/SWSecEng/
- Part IB CST
teaching/2223/year2- Concurrent and Distributed Systems
teaching/2223/ConcDisSys/ - Data Science
teaching/2223/DataSci/ - ECAD and Architecture Practical Classes
teaching/2223/ECAD+Arch/ - Economics, Law and Ethics
teaching/2223/EconLaw/ - Further Graphics
teaching/2223/FGraphics/ - Further Java
teaching/2223/FJava/ - Introduction to Computer Architecture
teaching/2223/IntComArch/ - Programming in C and C++
teaching/2223/ProgC/ - Semantics of Programming Languages
teaching/2223/Semantics/ - Unix Tools
teaching/2223/UnixTools/ - Compiler Construction
teaching/2223/CompConstr/ - Computation Theory
teaching/2223/CompTheory/ - Computer Networking
teaching/2223/CompNet/ - Further Human–Computer Interaction
teaching/2223/FHCI/ - Logic and Proof
teaching/2223/LogicProof/ - Prolog - Programming in Logic
teaching/2223/Prolog/ - Artificial Intelligence
teaching/2223/ArtInt/ - Complexity Theory
teaching/2223/Complexity/ - Concepts in Programming Languages
teaching/2223/ConceptsPL/ - Cybersecurity
teaching/2223/CySecurity/ - Formal Models of Language
teaching/2223/ForModLang/
- Part II CST
teaching/2223/year3- Advanced Data Science
teaching/2223/ADS/ - Advanced Graphics and Image Processing
teaching/2223/AGIP/ - Bioinformatics
teaching/2223/Bioinfo/ - Business Studies
teaching/2223/Business/ - Category Theory
teaching/2223/CAT/ - Cloud Computing
teaching/2223/CC/ - Denotational Semantics
teaching/2223/DenotSem/ - Digital Signal Processing
teaching/2223/DSP/ - Information Theory
teaching/2223/InfoTheory/ - Interaction with Machine Learning
teaching/2223/IML/ - Introduction to Robotics
teaching/2223/IRO/ - LaTeX and MATLAB
teaching/2223/TeX+MATLAB/ - Machine Visual Perception
teaching/2223/MVP/ - Multicore Semantics and Programming
teaching/2223/MSP/ - Natural Language Processing
teaching/2223/NLP/ 302 302 200 - Principles of Communications
teaching/2223/PrincComm/ - Types
teaching/2223/Types/ - Advanced Computer Architecture
teaching/2223/AdComArch/ - Advanced Operating Systems
teaching/2223/AOS/ - Advanced Robotics
teaching/2223/ARO/ - Computer Systems Modelling
teaching/2223/CSM/ - Cryptography
teaching/2223/Crypto/ - Cybercrime
teaching/2223/CYC/ - Deep Neural Networks
teaching/2223/DNN/ - E-Commerce
teaching/2223/ECommerce/ - Extended Reality
teaching/2223/ER/ - Federated Learning
teaching/2223/FL/ - Machine Learning and Bayesian Inference
teaching/2223/MLBayInfer/ - Mobile Health
teaching/2223/MH/ - Optimising Compilers
teaching/2223/OptComp/ - Quantum Computing
teaching/2223/QuantComp/ - Randomised Algorithms
teaching/2223/RandAlgthm/ - Business Studies Seminars
teaching/2223/BusSeminrs/ - Hoare Logic and Model Checking
teaching/2223/HLog+ModC/
- Masters
teaching/2223/masters- Advanced Graphics and Image Processing
teaching/2223/L352/ - Advanced Topics in Computer Architecture
teaching/2223/R265/ - Category Theory
teaching/2223/L108/ - Computer Security: Principles and Foundations
teaching/2223/R209/ - Digital Signal Processing
teaching/2223/L314/ - Interaction with Machine Learning
teaching/2223/P230/ - Introduction to Computational Semantics
teaching/2223/L98/ - Introduction to Natural Language Syntax and Parsing
teaching/2223/L95/ - Introduction to Robotics
teaching/2223/L310/ - Large-scale data processing and optimisation
teaching/2223/R244/ - Machine Learning and the Physical World
teaching/2223/L48/ - Machine Learning for Language Processing
teaching/2223/L101/ - Machine Visual Perception
teaching/2223/L335/ - Multicore Semantics and Programming
teaching/2223/L304/ - Network Architectures
teaching/2223/R02/ - Natural Language Processing
teaching/2223/L90/ - Principles of Machine Learning Systems
teaching/2223/L46/ - Research Skills Programme
teaching/2223/RSP/ - Theory of Deep Learning
teaching/2223/R252/ - Advanced Operating Systems
teaching/2223/L41/ - Advanced Robotics
teaching/2223/L32/ - Advanced Topics in Category Theory
teaching/2223/L118/ - Advanced Topics in Computer Systems
teaching/2223/R01/ - Advanced topics in machine learning
teaching/2223/R255/ - Cybercrime
teaching/2223/R254/ - Distributed Ledger Technologies: Foundations and Applications
teaching/2223/R47/ - Federated Learning
teaching/2223/L361/ - High performance networking
teaching/2223/P51/ - Mobile Health
teaching/2223/L349/ - Representation Learning on Graphs and Networks
teaching/2223/L45/ - Topics in Logic and Complexity
teaching/2223/L15/
- Courses 2023–24
teaching/2324/- Part IA CST
teaching/2324/part1a.html - Part IB CST
teaching/2324/part1b.html - Part II CST
teaching/2324/part2.html - Part III
teaching/2324/part3.html - MPhil ACS
teaching/2324/acs.html - Lecturer index
teaching/2324/lecturers.html - Instructions for lecturers
teaching/2324/instructions.html - Part IA CST
teaching/2324/year1- Databases
teaching/2324/Databases/ - Digital Electronics
teaching/2324/DigElec/ - Discrete Mathematics
teaching/2324/DiscMath/ - Foundations of Computer Science
teaching/2324/FoundsCS/ - Hardware Practical Classes
teaching/2324/HW/ - Introduction to Graphics
teaching/2324/Graphics/ - Object-Oriented Programming
teaching/2324/OOProg/ - OCaml Practical Classes
teaching/2324/OCaml/ - Registration
teaching/2324/Registratn/ - Scientific Computing Practical Course
teaching/2324/SciComp/ - Algorithms 1
teaching/2324/Algorithm1/ - Algorithms 2
teaching/2324/Algorithm2/ - Machine Learning and Real-world Data
teaching/2324/MLRD/ - Operating Systems
teaching/2324/OpSystems/ - Interaction Design
teaching/2324/IntDesign/ - Introduction to Probability
teaching/2324/IntroProb/ - Software and Security Engineering
teaching/2324/SWSecEng/
- Part IB CST
teaching/2324/year2- Concurrent and Distributed Systems
teaching/2324/ConcDisSys/ - Data Science
teaching/2324/DataSci/ - ECAD and Architecture Practical Classes
teaching/2324/ECAD+Arch/ - Economics, Law and Ethics
teaching/2324/EconLaw/ - Further Graphics
teaching/2324/FGraphics/ - Further Java
teaching/2324/FJava/ - Introduction to Computer Architecture
teaching/2324/IntComArch/ - Programming in C and C++
teaching/2324/ProgC/ - Semantics of Programming Languages
teaching/2324/Semantics/ - Unix Tools
teaching/2324/UnixTools/ - Compiler Construction
teaching/2324/CompConstr/ - Computation Theory
teaching/2324/CompTheory/ - Computer Networking
teaching/2324/CompNet/ - Further Human–Computer Interaction
teaching/2324/FHCI/ - Logic and Proof
teaching/2324/LogicProof/ - Prolog
teaching/2324/Prolog/ - Artificial Intelligence
teaching/2324/ArtInt/ - Complexity Theory
teaching/2324/Complexity/ - Concepts in Programming Languages
teaching/2324/ConceptsPL/ - Cybersecurity
teaching/2324/CySecurity/ - Formal Models of Language
teaching/2324/ForModLang/
- Part II CST
teaching/2324/year3- Advanced Data Science
teaching/2324/ADS/ - Advanced Graphics and Image Processing
teaching/2324/AGIP/ - Bioinformatics
teaching/2324/Bioinfo/ - Business Studies
teaching/2324/Business/ - Category Theory
teaching/2324/CAT/ - Denotational Semantics
teaching/2324/DenotSem/ - Digital Signal Processing
teaching/2324/DSP/ - Information Theory
teaching/2324/InfoTheory/ - LaTeX and Julia
teaching/2324/TeX+Julia/ - Machine Visual Perception
teaching/2324/MVP/ - Multicore Semantics and Programming
teaching/2324/MSP/ - Natural Language Processing
teaching/2324/NLP/ - Practical Research in Human-centred AI
teaching/2324/HCAI/ - Principles of Communications
teaching/2324/PrincComm/ - Types
teaching/2324/Types/ - Advanced Computer Architecture
teaching/2324/AdComArch/ - Advanced Operating Systems
teaching/2324/AOS/ - Computer Systems Modelling
teaching/2324/CSM/ - Cryptography
teaching/2324/Crypto/ - Cybercrime
teaching/2324/CYC/ - Deep Neural Networks
teaching/2324/DNN/ - E-Commerce
teaching/2324/ECommerce/ - Extended Reality
teaching/2324/ER/ - Federated Learning: Theory and Practice
teaching/2324/FL/ - Machine Learning and Bayesian Inference
teaching/2324/MLBayInfer/ - Mobile Health
teaching/2324/MH/ - Optimising Compilers
teaching/2324/OptComp/ - Quantum Computing
teaching/2324/QuantComp/ - Randomised Algorithms
teaching/2324/RandAlgthm/ - Business Studies Seminars
teaching/2324/BusSeminrs/ - Hoare Logic and Model Checking
teaching/2324/HLog+ModC/
- Masters
teaching/2324/masters- Advanced Graphics and Image Processing
teaching/2324/L352/ - Advanced Topics in Computer Architecture
teaching/2324/R265/ - Advanced topics in programming languages
teaching/2324/R277/ - Category Theory
teaching/2324/L108/ - Computer Security: Principles and Foundations
teaching/2324/R209/ - Digital Signal Processing
teaching/2324/L314/ - Introduction to Computational Semantics
teaching/2324/L98/ - Introduction to Natural Language Syntax and Parsing
teaching/2324/L95/ - Introduction to networking and systems measurements
teaching/2324/L50/ - Large-scale data processing and optimisation
teaching/2324/R244/ - Machine Learning and the Physical World
teaching/2324/L48/ - Machine Learning for Language Processing
teaching/2324/L101/ - Machine Visual Perception
teaching/2324/L335/ - Mobile, Wearable Systems and Machine Learning
teaching/2324/R269/ - Multicore Semantics and Programming
teaching/2324/L304/ - Network Architectures
teaching/2324/R02/ - Overview of Natural Language Processing
teaching/2324/L90/ - Practical Research in Human-centred AI
teaching/2324/P342/ - Principles of Machine Learning Systems
teaching/2324/L46/ - Advanced Operating Systems
teaching/2324/L341/ - Advanced Topics in Category Theory
teaching/2324/L118/ - Advanced Topics in Computer Systems
teaching/2324/R01/ - Advanced topics in machine learning
teaching/2324/R255/ - Affective Computing
teaching/2324/L44/ - Cybercrime
teaching/2324/R254/ - Discourse and Pragmatics
teaching/2324/L99/ - Distributed Ledger Technologies: Foundations and Applications
teaching/2324/R47/ - Federated Learning: Theory and Practice
teaching/2324/L361/ - Geometric Deep Learning
teaching/2324/L65/ - Mobile Health
teaching/2324/L349/ - Theories of Socio-digital Design for Human Centred AI
teaching/2324/R225/ - Theory of Deep Learning
teaching/2324/R252/ - Topics in Logic and Complexity
teaching/2324/L15/ - Understanding Networked-Systems Performance
teaching/2324/P56/
- Lecture course material
teaching/material.html 301 200 - Skills
teaching/skill.html 301 301 200 - Exams
teaching/exams/ 301 301 200- Examination dates
teaching/exams/dates.html 301 200 - Examination results
teaching/exams/results/ 302 302 200 - Examiners' reports
teaching/exams/reports/ - Plagiarism and collusion
teaching/exams/plagiarism.html 301 200 - Purchase of calculators
teaching/exams/calculators.html 301 200 - Data Retention Policy
teaching/exams/dataretention.html 301 301 200 - Past exam papers
teaching/exams/pastpapers/- 2023
teaching/exams/pastpapers/y2023.html - 2022
teaching/exams/pastpapers/y2022.html - 2021
teaching/exams/pastpapers/y2021.html - 2020
teaching/exams/pastpapers/y2020.html - 2019
teaching/exams/pastpapers/y2019.html - 2018
teaching/exams/pastpapers/y2018.html - 2017
teaching/exams/pastpapers/y2017.html - 2016
teaching/exams/pastpapers/y2016.html - 2015
teaching/exams/pastpapers/y2015.html - 2014
teaching/exams/pastpapers/y2014.html - 2013
teaching/exams/pastpapers/y2013.html - 2012
teaching/exams/pastpapers/y2012.html - 2011
teaching/exams/pastpapers/y2011.html - 2010
teaching/exams/pastpapers/y2010.html - 2009
teaching/exams/pastpapers/y2009.html - 2008
teaching/exams/pastpapers/y2008.html - 2007
teaching/exams/pastpapers/y2007.html - 2006
teaching/exams/pastpapers/y2006.html - 2005
teaching/exams/pastpapers/y2005.html - 2004
teaching/exams/pastpapers/y2004.html - 2003
teaching/exams/pastpapers/y2003.html - 2002
teaching/exams/pastpapers/y2002.html - 2001
teaching/exams/pastpapers/y2001.html - 2000
teaching/exams/pastpapers/y2000.html - 1999
teaching/exams/pastpapers/y1999.html - 1998
teaching/exams/pastpapers/y1998.html - 1997
teaching/exams/pastpapers/y1997.html - 1996
teaching/exams/pastpapers/y1996.html - 1995
teaching/exams/pastpapers/y1995.html - 1994
teaching/exams/pastpapers/y1994.html - 1993
teaching/exams/pastpapers/y1993.html - Additional Topics
teaching/exams/pastpapers/t-AdditionalTopics.html - Additional Topics I and II
teaching/exams/pastpapers/t-AdditionalTopicsIandII.html - Advanced Algorithms
teaching/exams/pastpapers/t-AdvancedAlgorithms.html - Advanced Computer Architecture
teaching/exams/pastpapers/t-AdvancedComputerArchitecture.html - Advanced Graphics
teaching/exams/pastpapers/t-AdvancedGraphics.html - Advanced Graphics and HCI
teaching/exams/pastpapers/t-AdvancedGraphicsandHCI.html - Advanced Systems Topics
teaching/exams/pastpapers/t-AdvancedSystemsTopics.html - Algebraic Manipulation
teaching/exams/pastpapers/t-AlgebraicManipulation.html - Algorithms
teaching/exams/pastpapers/t-Algorithms.html - Algorithms 1
teaching/exams/pastpapers/t-Algorithms1.html - Algorithms 2
teaching/exams/pastpapers/t-Algorithms2.html - Algorithms I
teaching/exams/pastpapers/t-AlgorithmsI.html - Algorithms II
teaching/exams/pastpapers/t-AlgorithmsII.html - Artificial Intelligence
teaching/exams/pastpapers/t-ArtificialIntelligence.html - Artificial Intelligence I
teaching/exams/pastpapers/t-ArtificialIntelligenceI.html - Artificial Intelligence II
teaching/exams/pastpapers/t-ArtificialIntelligenceII.html - Bioinformatics
teaching/exams/pastpapers/t-Bioinformatics.html - Business Studies
teaching/exams/pastpapers/t-BusinessStudies.html - Common Lisp
teaching/exams/pastpapers/t-CommonLisp.html - Communicating Automata
teaching/exams/pastpapers/t-CommunicatingAutomata.html - Communicating Automata and Pi Calculus
teaching/exams/pastpapers/t-CommunicatingAutomataandPiCalculus.html - Comparative Architectures
teaching/exams/pastpapers/t-ComparativeArchitectures.html - Comparative Programming Languages
teaching/exams/pastpapers/t-ComparativeProgrammingLanguages.html - Compiler Construction
teaching/exams/pastpapers/t-CompilerConstruction.html - Complexity
teaching/exams/pastpapers/t-Complexity.html - Complexity Theory
teaching/exams/pastpapers/t-ComplexityTheory.html - Computation Theory
teaching/exams/pastpapers/t-ComputationTheory.html - Computational Neuroscience
teaching/exams/pastpapers/t-ComputationalNeuroscience.html - Computational Number Theory
teaching/exams/pastpapers/t-ComputationalNumberTheory.html - Computer Architecture
teaching/exams/pastpapers/t-ComputerArchitecture.html - Computer Design
teaching/exams/pastpapers/t-ComputerDesign.html - Computer Fundamentals
teaching/exams/pastpapers/t-ComputerFundamentals.html - Computer Graphics and Image Processing
teaching/exams/pastpapers/t-ComputerGraphicsandImageProcessing.html - Computer Networking
teaching/exams/pastpapers/t-ComputerNetworking.html - Computer Perspectives
teaching/exams/pastpapers/t-ComputerPerspectives.html - Computer Structures
teaching/exams/pastpapers/t-ComputerStructures.html - Computer System Modelling
teaching/exams/pastpapers/t-ComputerSystemModelling.html - Computer Systems Modelling
teaching/exams/pastpapers/t-ComputerSystemsModelling.html - Computer Vision
teaching/exams/pastpapers/t-ComputerVision.html - Concepts in Programming Languages
teaching/exams/pastpapers/t-ConceptsinProgrammingLanguages.html - Concurrency
teaching/exams/pastpapers/t-Concurrency.html - Concurrency Theory
teaching/exams/pastpapers/t-ConcurrencyTheory.html - Concurrent Systems
teaching/exams/pastpapers/t-ConcurrentSystems.html - Concurrent Systems and Applications
teaching/exams/pastpapers/t-ConcurrentSystemsandApplications.html - Concurrent and Distributed Systems
teaching/exams/pastpapers/t-ConcurrentandDistributedSystems.html - Continuous Mathematics
teaching/exams/pastpapers/t-ContinuousMathematics.html - Cryptography
teaching/exams/pastpapers/t-Cryptography.html - Cybersecurity
teaching/exams/pastpapers/t-Cybersecurity.html - Data Science
teaching/exams/pastpapers/t-DataScience.html - Data Structures and Algorithms
teaching/exams/pastpapers/t-DataStructuresandAlgorithms.html - Database Theory
teaching/exams/pastpapers/t-DatabaseTheory.html - Database Topics
teaching/exams/pastpapers/t-DatabaseTopics.html - Databases
teaching/exams/pastpapers/t-Databases.html - Denotational Semantics
teaching/exams/pastpapers/t-DenotationalSemantics.html - Designing Interactive Applications
teaching/exams/pastpapers/t-DesigningInteractiveApplications.html - Developments in Technology
teaching/exams/pastpapers/t-DevelopmentsinTechnology.html - Digital Communication I
teaching/exams/pastpapers/t-DigitalCommunicationI.html - Digital Communication II
teaching/exams/pastpapers/t-DigitalCommunicationII.html - Digital Electronics
teaching/exams/pastpapers/t-DigitalElectronics.html - Digital Electronics and Computer Design
teaching/exams/pastpapers/t-DigitalElectronicsandComputerDesign.html - Digital Signal Processing
teaching/exams/pastpapers/t-DigitalSignalProcessing.html - Discrete Mathematics
teaching/exams/pastpapers/t-DiscreteMathematics.html - Discrete Mathematics I
teaching/exams/pastpapers/t-DiscreteMathematicsI.html - Discrete Mathematics II
teaching/exams/pastpapers/t-DiscreteMathematicsII.html - Distributed Systems
teaching/exams/pastpapers/t-DistributedSystems.html - E-Commerce
teaching/exams/pastpapers/t-E-Commerce.html - ECAD
teaching/exams/pastpapers/t-ECAD.html - ECAD Topics
teaching/exams/pastpapers/t-ECADTopics.html - Economics and Law
teaching/exams/pastpapers/t-EconomicsandLaw.html - Economics, Law and Ethics
teaching/exams/pastpapers/t-EconomicsLawandEthics.html - Floating-Point Computation
teaching/exams/pastpapers/t-Floating-PointComputation.html - Formal Languages and Automata
teaching/exams/pastpapers/t-FormalLanguagesandAutomata.html - Formal Models of Language
teaching/exams/pastpapers/t-FormalModelsofLanguage.html - Foundations of Computer Science
teaching/exams/pastpapers/t-FoundationsofComputerScience.html - Foundations of Data Science
teaching/exams/pastpapers/t-FoundationsofDataScience.html - Foundations of Functional Programming
teaching/exams/pastpapers/t-FoundationsofFunctionalProgramming.html - Foundations of Logic Programming
teaching/exams/pastpapers/t-FoundationsofLogicProgramming.html - Foundations of Programming
teaching/exams/pastpapers/t-FoundationsofProgramming.html - Further Graphics
teaching/exams/pastpapers/t-FurtherGraphics.html - Further Human–Computer Interaction
teaching/exams/pastpapers/t-FurtherHuman-ComputerInteraction.html - Further Java
teaching/exams/pastpapers/t-FurtherJava.html - Further Modula-3
teaching/exams/pastpapers/t-FurtherModula-3.html - Graphics
teaching/exams/pastpapers/t-Graphics.html - Graphics I
teaching/exams/pastpapers/t-GraphicsI.html - Graphics II
teaching/exams/pastpapers/t-GraphicsII.html - HCI
teaching/exams/pastpapers/t-HCI.html - Hoare Logic
teaching/exams/pastpapers/t-HoareLogic.html - Hoare Logic and Model Checking
teaching/exams/pastpapers/t-HoareLogicandModelChecking.html - Human–Computer Interaction
teaching/exams/pastpapers/t-Human-ComputerInteraction.html - Information Retrieval
teaching/exams/pastpapers/t-InformationRetrieval.html - Information Theory
teaching/exams/pastpapers/t-InformationTheory.html - Information Theory and Coding
teaching/exams/pastpapers/t-InformationTheoryandCoding.html - Interaction Design
teaching/exams/pastpapers/t-InteractionDesign.html - Introduction to Computer Architecture
teaching/exams/pastpapers/t-IntroductiontoComputerArchitecture.html - Introduction to Functional Programming
teaching/exams/pastpapers/t-IntroductiontoFunctionalProgramming.html - Introduction to Graphics
teaching/exams/pastpapers/t-IntroductiontoGraphics.html - Introduction to Probability
teaching/exams/pastpapers/t-IntroductiontoProbability.html - Introduction to Security
teaching/exams/pastpapers/t-IntroductiontoSecurity.html - Introduction to UNIX
teaching/exams/pastpapers/t-IntroductiontoUNIX.html - Introduction to Unix
teaching/exams/pastpapers/t-IntroductiontoUnix.html - Java
teaching/exams/pastpapers/t-Java.html - Logic and Proof
teaching/exams/pastpapers/t-LogicandProof.html - Machine Learning and Bayesian Inference
teaching/exams/pastpapers/t-MachineLearningandBayesianInference.html - Machine Learning and Real-world Data
teaching/exams/pastpapers/t-MachineLearningandReal-worldData.html - Mathematical Methods for Computer Science
teaching/exams/pastpapers/t-MathematicalMethodsforComputerScience.html - Mathematics for Computation Theory
teaching/exams/pastpapers/t-MathematicsforComputationTheory.html - Mobile and Sensor Systems
teaching/exams/pastpapers/t-MobileandSensorSystems.html - Modula-2
teaching/exams/pastpapers/t-Modula-2.html - Modula-3
teaching/exams/pastpapers/t-Modula-3.html - Multi-part question
teaching/exams/pastpapers/t-Multi-partquestion.html - Natural Language Processing
teaching/exams/pastpapers/t-NaturalLanguageProcessing.html - Neural Computing
teaching/exams/pastpapers/t-NeuralComputing.html - Numerical Analysis
teaching/exams/pastpapers/t-NumericalAnalysis.html - Numerical Analysis I
teaching/exams/pastpapers/t-NumericalAnalysisI.html - Numerical Analysis II
teaching/exams/pastpapers/t-NumericalAnalysisII.html - Numerical Methods
teaching/exams/pastpapers/t-NumericalMethods.html - Object-Oriented Programming
teaching/exams/pastpapers/t-Object-OrientedProgramming.html - Object-Oriented Programming with Java
teaching/exams/pastpapers/t-Object-OrientedProgrammingwithJava.html - Operating System Foundations
teaching/exams/pastpapers/t-OperatingSystemFoundations.html - Operating System Functions
teaching/exams/pastpapers/t-OperatingSystemFunctions.html - Operating Systems
teaching/exams/pastpapers/t-OperatingSystems.html - Operating Systems II
teaching/exams/pastpapers/t-OperatingSystemsII.html - Optimising Compilers
teaching/exams/pastpapers/t-OptimisingCompilers.html - Philosophy
teaching/exams/pastpapers/t-Philosophy.html - Pi Calculus
teaching/exams/pastpapers/t-PiCalculus.html - Principles of Communications
teaching/exams/pastpapers/t-PrinciplesofCommunications.html - Probability
teaching/exams/pastpapers/t-Probability.html - Problem solving in ML
teaching/exams/pastpapers/t-ProblemsolvinginML.html - Processor Architecture
teaching/exams/pastpapers/t-ProcessorArchitecture.html - Professional Practice and Ethics
teaching/exams/pastpapers/t-ProfessionalPracticeandEthics.html - Programming Language Compilation
teaching/exams/pastpapers/t-ProgrammingLanguageCompilation.html - Programming Methods and Java
teaching/exams/pastpapers/t-ProgrammingMethodsandJava.html - Programming in C
teaching/exams/pastpapers/t-ProgramminginC.html - Programming in C and C++
teaching/exams/pastpapers/t-ProgramminginCandC++.html - Programming in Java
teaching/exams/pastpapers/t-ProgramminginJava.html - Programming in ML
teaching/exams/pastpapers/t-ProgramminginML.html - Programming in Modula-3
teaching/exams/pastpapers/t-ProgramminginModula-3.html - Prolog
teaching/exams/pastpapers/t-Prolog.html - Prolog for Artificial Intelligence
teaching/exams/pastpapers/t-PrologforArtificialIntelligence.html - Proving Programs Correct
teaching/exams/pastpapers/t-ProvingProgramsCorrect.html - Quantum Computing
teaching/exams/pastpapers/t-QuantumComputing.html - Randomised Algorithms
teaching/exams/pastpapers/t-RandomisedAlgorithms.html - Regular Languages and Finite Automata
teaching/exams/pastpapers/t-RegularLanguagesandFiniteAutomata.html - Running a Business
teaching/exams/pastpapers/t-RunningaBusiness.html - Security
teaching/exams/pastpapers/t-Security.html - Security I
teaching/exams/pastpapers/t-SecurityI.html - Security II
teaching/exams/pastpapers/t-SecurityII.html - Semantics
teaching/exams/pastpapers/t-Semantics.html - Semantics of Programming Languages
teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html - Software Design
teaching/exams/pastpapers/t-SoftwareDesign.html - Software Engineering
teaching/exams/pastpapers/t-SoftwareEngineering.html - Software Engineering I
teaching/exams/pastpapers/t-SoftwareEngineeringI.html - Software Engineering II
teaching/exams/pastpapers/t-SoftwareEngineeringII.html - Software Engineering and Design
teaching/exams/pastpapers/t-SoftwareEngineeringandDesign.html - Software and Interface Design
teaching/exams/pastpapers/t-SoftwareandInterfaceDesign.html - Software and Security Engineering
teaching/exams/pastpapers/t-SoftwareandSecurityEngineering.html - Specification and Verification I
teaching/exams/pastpapers/t-SpecificationandVerificationI.html - Specification and Verification II
teaching/exams/pastpapers/t-SpecificationandVerificationII.html - Specification and Verification of Hardware
teaching/exams/pastpapers/t-SpecificationandVerificationofHardware.html - Structured Hardware Design
teaching/exams/pastpapers/t-StructuredHardwareDesign.html - System Architecture
teaching/exams/pastpapers/t-SystemArchitecture.html - System Design
teaching/exams/pastpapers/t-SystemDesign.html - System Software
teaching/exams/pastpapers/t-SystemSoftware.html - System-on-Chip Design
teaching/exams/pastpapers/t-System-on-ChipDesign.html - Temporal Logic and Model Checking
teaching/exams/pastpapers/t-TemporalLogicandModelChecking.html - The MIPS Instruction Set
teaching/exams/pastpapers/t-TheMIPSInstructionSet.html - Topical Issues
teaching/exams/pastpapers/t-TopicalIssues.html - Topics in Artificial Intelligence
teaching/exams/pastpapers/t-TopicsinArtificialIntelligence.html - Topics in Concurrency
teaching/exams/pastpapers/t-TopicsinConcurrency.html - Types
teaching/exams/pastpapers/t-Types.html - UNIX Case Study
teaching/exams/pastpapers/t-UNIXCaseStudy.html - Unix Case Study
teaching/exams/pastpapers/t-UnixCaseStudy.html - VLSI
teaching/exams/pastpapers/t-VLSI.html - VLSI Design
teaching/exams/pastpapers/t-VLSIDesign.html
- Past exam questions
teaching/exams/archive/- Updating solution notes
teaching/exams/archive/updating.html 302 302 200
- Guidance on deadlines
teaching/exams/deadlines.html 301 200 - Part III Assessment
teaching/exams/p3_assessment.html 301 301 200 - MPhil Assessment
teaching/exams/acs_assessment.html 301 301 200 - Student Complaint Procedure
teaching/exams/ExamReview.html 301 200
- Lecture timetables
teaching/timetables/ 301 301 200- Short form timetable
teaching/timetables/sfcst.html 301 301 200
- Supervisions
teaching/supervisions/ 301 301 200- Part II supervisions overview
teaching/supervisions/overview.html 301 301 200 - Part II sign-up dates
teaching/supervisions/thirdlectures.html 301 301 200 - Notes on supervising
teaching/supervisions/notes/ 301 301 301 200 - Supervisor support
teaching/supervisions/support.html 301 301 200
- Academic exchanges
teaching/exchanges/ 301 301 200- Advice for students visiting Cambridge
teaching/exchanges/preparation.html 301 301 200
- UROP internships
teaching/urop/ 301 301 200 - Part IB group projects
teaching/group-projects/ 301 301 301 200- Timetable
teaching/group-projects/timetable.html 301 301 403 - Photos
teaching/group-projects/photos/- Photos 2018
teaching/group-projects/photos/2019/ - Photos 2018
teaching/group-projects/photos/2018/ - Photos 2017
teaching/group-projects/photos/2017/ - Photos 2016
teaching/group-projects/photos/2016/ - Photos 2015
teaching/group-projects/photos/2015/ - Photos 2014
teaching/group-projects/photos/2014/ - Photos 2010
teaching/group-projects/photos/2010/
- Previous years
teaching/group-projects/previous-briefs.html 301 301 403
- Part II projects
teaching/projects/ 301 301 301 200- Briefing document (Pink Book)
teaching/projects/pinkbook/ 301 301 200- Introduction
teaching/projects/pinkbook/node1.html 301 301 200 - Overview of the Project
teaching/projects/pinkbook/node2.html 301 301 200 - Timetable
teaching/projects/pinkbook/node3.html 301 301 200 - Overseers
teaching/projects/pinkbook/node4.html 301 301 200 - Sources of Projects
teaching/projects/pinkbook/node5.html 301 301 200 - From Idea to Definite Plan
teaching/projects/pinkbook/node6.html 301 301 200 - Submission and Content of the Project Proposal
teaching/projects/pinkbook/node7.html 301 301 200 - The Project
teaching/projects/pinkbook/node8.html 301 301 200 - Backing up Files
teaching/projects/pinkbook/node9.html 301 301 200 - Changes to the Original Plan
teaching/projects/pinkbook/node10.html 301 301 200 - Progress Reports
teaching/projects/pinkbook/node11.html 301 301 200 - The Dissertation
teaching/projects/pinkbook/node12.html 301 301 200 - Project Assessment
teaching/projects/pinkbook/node13.html 301 301 200 - Late Submission
teaching/projects/pinkbook/node14.html 301 301 200 - Plagiarism and Fraud
teaching/projects/pinkbook/node15.html 301 301 200 - Intellectual Property Issues
teaching/projects/pinkbook/node16.html 301 301 200 - Viva Voce Examinations
teaching/projects/pinkbook/node17.html 301 301 200 - Guidelines for Assessors
teaching/projects/pinkbook/node18.html 301 301 200 - Footnotes
teaching/projects/pinkbook/footnode.html 301 301 200
- Important dates
teaching/projects/dates.html 301 301 200 - Overseers
teaching/projects/overseers/ 302 302 200- Past overseer groups
teaching/projects/overseers/archive.html 302 302 200
- Phase 1 report
teaching/projects/phase1.html 301 301 301 200 - Back-up advice
teaching/projects/backup.html 301 301 301 200 - Resources Declaration
teaching/projects/special.html 301 301 301 200 - Studies Involving Human Participants
teaching/projects/humansubjects.html 301 301 301 200 - Failure to submit proposal
teaching/projects/proposal-failure.html 301 301 301 200 - Selection Tips
teaching/projects/selection-tips.html 301 301 301 200 - Declaration of originality
teaching/projects/declaration-of-originality.html 301 301 301 200 - Submission of dissertation
teaching/projects/submission.html 301 301 200 - IP ownership
teaching/projects/ip.html 301 301 301 200 - Diploma model projects
teaching/projects/model-proposals.html 301 301 301 200 - Older project suggestions
teaching/projects/old-projects.html 301 301 200 - Supervising Notes
teaching/projects/supervisor-notes.html 301 301 200 - Overseer Briefing Notes
teaching/projects/overseer-briefing/ 302 302 200 - External Part II project suggestions
teaching/projects/external-projects.html 301 301 200
- Part II units of assessment
teaching/part2-units.html 301 301 200 - Continuing to Part III
teaching/part3info.html 301 301 200 - Directors of Studies
teaching/dos-list/ 301 301 200 - Resources
teaching/resources 301 301 200- Managed Cluster Service
teaching/mcs/ 301 301 200 - Part III and MPhil machines
teaching/mphil-machines/ 301 301 200 - Online services
teaching/online-services/ 301 301 200 - Installing Linux
teaching/linux/ 301 301 200 - MATLAB
teaching/matlab/ 301 301 200 - Microsoft Azure for Education Membership
teaching/mssoftware.html 301 301 200
- Feedback
teaching/feedback/ 302 302 200 - Teaching Hotline
teaching/hotline/ 301 301 403 - Transferring into Part IB
teaching/transfer.html 301 301 200 - Part III information
teaching/part3dosinfo.html 301 301 200 - Sitemap
teaching/sitemap.html 301 404
- Technical reports
techreports/- Catalogue and downloads
techreports/UCAM-CL-TR-table.html - Authors index
techreports/UCAM-CL-TR-authors.html - Submission instructions
techreports/submission.html - Usage licence
techreports/usage-licence.html - Computer Laboratory technical-reports archiving system
techreports/setup.html
- Job vacancies →
[...] - Miscellaneous
misc/- News
misc/news/ - Honours
misc/honours/ - Obituaries
misc/obituaries/- Neil Wiseman, 1934–1995
misc/obituaries/wiseman/ - Roger Needham, 1935–2003
misc/obituaries/needham/ - David Wheeler, 1927–2004
misc/obituaries/wheeler/ - Karen Spärck Jones, 1935–2007
misc/obituaries/sparck-jones/- 4 July 2007 tribute event
misc/obituaries/sparck-jones/event/ - Karen Spärck Jones CV
misc/obituaries/sparck-jones/cv.html - ACM and BCS award lecture
misc/obituaries/sparck-jones/video/
- Judith Ann Bailey, 1934–2008 →
misc/obituaries/[...] 301 200 - Robin Milner, 1934–2010
misc/obituaries/milner/ - Sir Maurice Wilkes, 1913–2010
misc/obituaries/wilkes/- Tribute event
misc/obituaries/wilkes/event/
- Michael JC Gordon, 1948–2017
misc/obituaries/gordon/- Memorial event
misc/obituaries/gordon/event/
- Richard Gibbens, 1962–2018
misc/obituaries/gibbens/ - Ross J Anderson, 1956–2024
misc/obituaries/anderson/
- Internal information
local/ 302 301 403- New arrivals
local/arrivals/ 302 301 403- An introduction to our computing facilities →
local/arrivals/[...] 302 301 200 - Information for new PhD students →
local/arrivals/[...] 302 301 301 200 - Information for new staff
local/arrivals/newstaff/ 302 301 403- Procedures for reception staff
local/arrivals/newstaff/reception.html 302 404
- Information for visitors
local/arrivals/visitors/ 302 301 200 - Information for hosts of visitors
local/arrivals/hosts/ 302 301 403 - General information
local/arrivals/generalinformation.html 302 301 403 - Induction Guidelines →
local/arrivals/[...] 302 302 301 403
- Specialist resources →
local/[...] 302 403 - System administration
local/sys/ 302 301 403- Email
local/sys/mail/ 302 403- Email rôle addresses
local/sys/mail/roles/ 302 403 - Mailing lists
local/sys/mail/mail-lists.html 302 403 - Mail processing
local/sys/mail/mail-processing.html 302 403 - Vacation messages
local/sys/mail/mail-vacation.html 302 403 - Migrating MH mail to IMAP
local/sys/mail/mh-to-imap-migration.html 302 403
- Printing and scanning
local/sys/printers/ 302 403- Printing on macOS
local/sys/printers/mac/ 302 403 - Printing on Windows 7 and newer
local/sys/printers/windows/ 302 403 - Producing posters
local/sys/printers/gum/ 302 403 - Common printing problems
local/sys/printers/common-problems.html 302 403 - Scanning/Copying/Printing on mulberry
local/sys/printers/mulberry/ 302 403 - Scanning/Copying/Printing on holly
local/sys/printers/holly/ 302 403
- Filespace
local/sys/filesystems/ 302 403- Filer access on Unix
local/sys/filesystems/unix/ 302 403 - Filer access on macOS
local/sys/filesystems/mac/ - Remote file access using WebDAV
local/sys/filesystems/webdav/ 302 403 - Retrieving lost data
local/sys/filesystems/snapshots.html 302 403 - Quota report
local/sys/filesystems/quotareport/
- The CL network
local/sys/network/ 302 403- Remote access
local/sys/network/remote-access.html 302 403 - VLANs
local/sys/network/vlan.html 302 403
- SSH access to the CL systems
local/sys/ssh/ 302 403- SSH on Unix
local/sys/ssh/openssh.html 302 403 - SSH on Windows
local/sys/ssh/windows/ 302 403 - SSH on macOS
local/sys/ssh/mac/ 302 200 - Password complexity
local/sys/ssh/passwords/ 302 403 - Troubleshooting
local/sys/ssh/troubleshooting.html 302 403 - Understanding SSH
local/sys/ssh/overview.html 302 403
- Supported platforms
local/sys/platforms/ 302 200 - Generic Unix/Linux information
local/sys/unix/ 302 403- Linux systems: Booting, shutting down, power saving
local/sys/unix/boot-shutdown-powersave/ 302 403 - Software installation
local/sys/unix/software-install/ 302 403- Package managers
local/sys/unix/software-install/package-managers.html 302 403 - Gaining privilege: sudo, xsudo, cl-asuser
local/sys/unix/software-install/gaining-privilege.html 302 403 - Software installation using apt-get
local/sys/unix/software-install/apt.html 302 403 - Software installation using yum
local/sys/unix/software-install/yum.html 302 403 - Software installation on managed Linux machines
local/sys/unix/software-install/managed-machines.html 302 403
- Desktop environments
local/sys/unix/desktop/ 302 403- Configuration of XFce4
local/sys/unix/desktop/xfce.html 302 403 - Configuration of GNOME
local/sys/unix/desktop/gnome.html 302 403
- Web servers and sites
local/sys/web/ 302 403- Personal web pages
local/sys/web/personal.html 302 403 - House-style formatting (ucampas)
local/sys/web/ucampas/- Ucampas reference manual
local/sys/web/ucampas/ref.html - ucam2012 style
local/sys/web/ucampas/ucam2012.html - ucam2008 style
local/sys/web/ucampas/ucam2008.html - ucam2006 style
local/sys/web/ucampas/ucam2006.html - FAQ
local/sys/web/ucampas/faq.html - Ucampas on Windows
local/sys/web/ucampas/windows/
- Editing the main web site
local/sys/web/subversion/- SSH public-key upload
local/sys/web/subversion/sshkeys/ 302 302 200 - Tutorials
local/sys/web/subversion/tutorial- Subversion
local/sys/web/subversion/introduction/- What is Subversion?
local/sys/web/subversion/introduction/subversionguide.html - How a working copy works
local/sys/web/subversion/introduction/workingdirectory.html
- Linux web editing tutorial
local/sys/web/subversion/linux/- Checking out a working copy
local/sys/web/subversion/linux/checkingout.html - Basic usage of Subversion
local/sys/web/subversion/linux/basicusage.html - Committing (sending) changes
local/sys/web/subversion/linux/committingchanges.html - Updating your working copy
local/sys/web/subversion/linux/updating.html - Resolving conflicts
local/sys/web/subversion/linux/resolvingconflicts.html - Examining Changes
local/sys/web/subversion/linux/examinechanges.html - Making changes
local/sys/web/subversion/linux/makingchanges.html - Who changed which line?
local/sys/web/subversion/linux/blame.html
- Windows web edting tutorial
local/sys/web/subversion/windows/- Overlays and menus
local/sys/web/subversion/windows/overlaysandmenus.html - Checking out a working copy
local/sys/web/subversion/windows/checkingout.html - Committing (sending) changes
local/sys/web/subversion/windows/committingchanges.html - Updating your working copy
local/sys/web/subversion/windows/updating.html - Resolving conflicts
local/sys/web/subversion/windows/resolvingconflicts.html - Viewing differences
local/sys/web/subversion/windows/viewingdifferences.html - Adding new files and directories
local/sys/web/subversion/windows/addingfiles.html - Deleting/Renaming
local/sys/web/subversion/windows/deletingfiles.html - Undoing changes
local/sys/web/subversion/windows/undoingchanges.html - Who changed which line?
local/sys/web/subversion/windows/blame.html
- Subversion – FAQ
local/sys/web/subversion/faq.html
- Web tools
local/sys/web/tools.html 302 403 - Web guidelines and policy
local/sys/web/guidelines/ 302 404- Web edting programs
local/sys/web/guidelines/webediting.html 302 404 - Basic HTML
local/sys/web/guidelines/basichtml.html 302 404
- Policy on web pages
local/sys/web/policy.html 302 403 - Access control
local/sys/web/htaccess.html 302 403 - Mathematical expressions
local/sys/web/math.html 302 403 - Access logging
local/sys/web/logs.html 302 403
- The RT ticketing system
local/sys/rt/ 302 403 - Specialist resources
local/sys/resources/ 302 403- Videoconference facilities
local/sys/resources/videoconferencing/ 302 403 - MATLAB, and other licenced software
local/sys/resources/matlab/ 302 403 - Application servers
local/sys/resources/application-servers.html 302 403 - High Performance Computing
local/sys/resources/hpc/ 302 403 - GPU facilities
local/sys/resources/gpu/ 302 403 - Data centre facilities
local/sys/resources/datacentre/ 302 403
- Lecture theatre AV
local/sys/ltav/ 302 403 - Sitemap
local/sys/sitemap/ 302 403 - Frequently asked questions
local/sys/faq/ 302 403
- Roles and responsibilities
local/roles/ 302 403 - Information for staff
local/staff.html 302 301 403- Accounting
local/finance/ 302 301 403- Purchasing
local/finance/purchasing.html 302 301 403 - Travel
local/finance/travel.html 302 301 403 - Expense claims
local/finance/expense-claims.html 302 301 403 - Preparing research grants
local/finance/grants.html 302 301 403
- Parking
local/parking.html - Cycling
local/cycling-staff.html - Departmental policies
local/policy/ 302 301 403- Ethical review of research with human participants
local/policy/ethics/ 302 301 200- Detailed guidance →
local/policy/ethics/[...] 301 200 - Review form →
local/policy/ethics/[...] 401 - Review form (read-only)
local/policy/ethics/submission-read-only.html 302 301 200
- Undergraduate students
local/policy/ug-policy/ - Staff Development Programme
local/policy/staffdevpolicy.html
- Information for hosts of visitors →
local/[...] 302 302 301 403 - Meeting rooms →
local/[...] 302 302 301 403 - Personnel information
local/personnel/ 302 301 403- Procedure for promotion to Senior Research Associate
local/personnel/promotiontosra.html 302 301 200 - Staff appraisal
local/personnel/appraisal.html 302 301 403 - Leave and absence
local/personnel/leave.html 302 301 403 - Induction Guidelines for New Starters
local/personnel/inductionguidelines.html 302 301 403 - Athena SWAN →
local/personnel/[...] 302 301 301 200 - Employee Benefits →
local/personnel/[...] 302 301 404 - Dignity at Work and Dignity at Study →
local/personnel/[...] 302 404 - Staff Survey 2015
local/personnel/staffsurvey/ 302 302 200
- Reception
local/reception.html 302 301 200 - Staff training
local/training.html 302 301 403 - Stores →
local/[...] 302 302 301 403 - UROP internships
local/urop/ - Wiseman prize
local/wiseman.html 302 301 200
- Health and safety
local/safety/ 302 301 200- Emergency
local/safety/emergency/ 302 301 200- Fire
local/safety/emergency/fire.html 302 301 200 - Fire wardens
local/safety/emergency/firewardens.html 302 301 200 - Disability - building evacuation
local/safety/emergency/disabilityevacuation.html 302 301 200
- First aid
local/safety/firstaid/ 302 301 200- First aid
local/safety/firstaid/firstaid.html 302 301 200 - First aiders
local/safety/firstaid/firstaiders.html 302 301 200 - Calling an ambulance
local/safety/firstaid/ambulance.html 302 301 200 - Defibrillators
local/safety/firstaid/defibrillator/ 302 301 200
- General health and safety
local/safety/hsgeneralinformation/ 302 301 200- Information dissemination
local/safety/hsgeneralinformation/informationdissemination.html 302 301 200 - Alarms in the William Gates Building
local/safety/hsgeneralinformation/alarms.html 302 301 200 - Exam fire alarms
local/safety/hsgeneralinformation/exam-alarms.html 302 301 200 - Panic buttons
local/safety/hsgeneralinformation/panicbuttons.html 302 301 200 - Food safety
local/safety/hsgeneralinformation/foodsafety.html 302 301 200 - Departmental barbecue
local/safety/hsgeneralinformation/barbq.html 302 301 200 - Electrical equipment testing
local/safety/hsgeneralinformation/electricaltesting.html 302 301 200 - Committee →
local/safety/hsgeneralinformation/[...] 302 301 301 200
- Environment →
local/safety/[...] 302 302 301 403 - Fitness
local/safety/fitness/ 302 301 200 - H&S policies & committees
local/safety/policies/ 302 301 200- Emergency procedures
local/safety/policies/emerg-proc.html 302 301 200 - Strategy for First Aid provision
local/safety/policies/firstaidstrategy.html 302 301 200 - NHS ambulance policy
local/safety/policies/ambulancepolicy.html 302 404 - Safety Policy
local/safety/policies/safetypolicy.html 302 301 200 - Safety policy - structure/responsibilities
local/safety/policies/safetypolicystructure.html 302 301 200 - Health and Safety Action Plan
local/safety/policies/actionplan.html 302 301 200 - Pregnancy and new mothers at work
local/safety/policies/pregnancynewmothersatwork.html 302 301 200
- Risk assessment
local/safety/assessments/ 302 301 200- Upper limb disorders
local/safety/assessments/upperlimbdisorders.html 302 301 200 - Risk assessment
local/safety/assessments/riskassessment.html 302 301 200 - Risk assessment template
local/safety/assessments/riskass-template.html 302 404 - PEEP
local/safety/assessments/PEEP.html 302 404 - PC
local/safety/assessments/rapc.html 302 301 200 - Photocopier toner
local/safety/assessments/ratoner.html 302 301 200 - Lifting bottles
local/safety/assessments/liftingbottles.html 302 404
- Laser safety
local/safety/laser/ 302 301 200- Laser register
local/safety/laser/register.html 302 301 200 - Laser user register
local/safety/laser/user-register.html 302 301 200
- Useful links
local/safety/links.html 302 301 200 - Index of Health & Safety pages
local/safety/hssitemap.html 302 301 200 - Committee →
local/safety/[...] 302 301 301 200
- PhD resources
local/phd/ 301 301 200- Induction
local/phd/phd-induction.html 301 200- Important dates
local/phd/important-dates.html 301 200 - The basics
local/phd/basics.html 301 200 - Who is here to help
local/phd/depthelp.html 301 200
- PhD supervisors
local/phd/supervisor1.html 301 404 - Graduate Advisers
local/phd/supervisor2.html 301 404 - CPGS
local/phd/cpgs.html 301 200 - First Year Report: PhD Proposal
local/phd/year1-report.html 301 200 - Second Year Report: Dissertation Schedule
local/phd/year2-report.html 301 200 - Third Year Report: Progress Statement
local/phd/year3-report.html 301 200 - Fourth Year Report: the last year
local/phd/year4.html 301 200 - Papers and conferences
local/phd/publications.html 301 200 - Writing up
local/phd/writingup.html 301 200 - Thesis formatting →
local/phd/[...] - Submitting your dissertation
local/phd/submission.html 301 200 - Exemption from University Composition Fees
local/phd/feesexemption.html 301 301 200 - Leave to work away, holidays and intermission
local/phd/gradleave.html 301 200 - Researcher Development
local/phd/researcherdev.html 301 301 200 - Application deadlines
local/phd/deadlines.html 301 200 - List of PhD thesis →
local/phd/[...] - Graduate Students' Forum
local/phd/gradforum/ 302 403 - PAT, recycling and Building Services
local/phd/building-services.html 301 200
- Typographic resources
local/typography/- Thesis formatting
local/typography/phd/ - Preparing Tripos exam questions in LaTeX
local/typography/tripos/- Tripos questions via Subversion
local/typography/tripos/svn/ 302 302 200
- Poster screw position calculator
local/typography/posterscrews.html 302 302 200
- Teaching resources
local/teaching/ 302 302 200- Information for CST examiners
local/teaching/examiners-guidance.html 302 302 200 - Information for Directors of Studies
local/teaching/dos-guidance.html 302 302 200 - ACS module definition
local/teaching/masters-modules.html 302 302 200 - Providing advice to incoming ACS students
local/teaching/masters-advising.html 302 302 200 - ACS interviewing and admissions
local/teaching/masters-admissions.html 302 302 200
- Outreach material
local/outreach/ 302 302 200 - Committees
local/committees/ 301 301 403- Faculty Board
local/committees/facultyboard/ 301 301 200 - Degree Committee
local/committees/degree/ 301 301 403- Information for examiners
local/committees/degree/examiners/
- Graduate Education
local/committees/grad-ed/ 301 200- Decisions
local/committees/grad-ed/gec-decisions/
- Tripos Management
local/committees/teaching/ 301 200 - Outreach
local/committees/outreach/ 301 301 200 - Health & Safety
local/committees/safety/ 301 301 200 - IT Strategy
local/committees/it-strategy/ 301 200 - Equality and Diversity
local/committees/athena-swan/ 301 301 200 - Research Staff
local/committees/research-staff/ 301 200 - Staff–Student
local/committees/staff-student/ 302 302 200 - Directors of Studies
local/committees/dos/ 301 200 - Workload
local/committees/workload/ 301 301 200 - Wellbeing
local/committees/wellbeing/ 301 301 200 - Graduate Students →
local/committees/[...] 302 302 403 - Ethics →
local/committees/[...] 302 302 301 200 - Buildings and Environment
local/committees/buildings-environment/ 301 200 - Selection
local/committees/selection/ 301 404 - External
local/committees/external/ 301 200 - Discontinued committees
local/committees/past 302 302 200- Computer Science Syndicate
local/committees/syndicate/ 302 302 200 - Admin Support
local/committees/admin-support/ 301 404 - Library
local/committees/library/ 301 404 - Advanced Taught Courses Management
local/committees/atcmc/ 301 404 - Joint Teaching Strategy
local/committees/jts/ 301 404
- William Gates Building
local/wgb/ 302 301 403- Building Services
local/wgb/building-service.html 302 301 403 - Access and security
local/wgb/securityaccess.html 302 301 403 - Care of the WGB
local/wgb/buildingcare.html 302 301 403 - Facilities in offices
local/wgb/officefacilities.html 302 301 403 - Energy & Environment
local/wgb/ecobuilding.html 302 301 403 - Meeting rooms
local/wgb/meetingrooms.html 302 301 403 - Stores
local/wgb/stores.html 302 301 403 - West Cambridge Site
local/wgb/westcambridge.html 302 301 403
- Leaving the department
local/departures/ 302 301 200
- Freshers: Preparing to study Computer Science
freshers/ 302 301 200 - Gift Share Scheme
gift-share/ - Supporters Club
supporters-club/ 302 301 200- Members
supporters-club/members.html 302 301 200 - Collaboration
supporters-club/collab.html 302 301 200 - How to join
supporters-club/howtojoin.html 302 301 200 - Annual Recruitment Fair
supporters-club/recruitment-fair.html 302 301 200 - Graduate Opportunities
supporters-club/graduateopportunities/ 302 301 403 - Summer internships
supporters-club/summerinternships/ 302 301 403 - Prizes
supporters-club/studentprizes/ 302 301 404
- Cambridge Computer Lab Ring
ring/ 302 301 200- Events
ring/events.html 302 301 200 - Hall of Fame
ring/halloffame.html 302 301 200 - Hall of Fame Awards
ring/awards.html 302 301 200 - Hall of Fame Awards – Nominations
ring/nominations.html 302 301 200 - The Ring newsletter
ring/newsletter/ 302 301 200 - FAQ
ring/FAQ.html 302 301 200
- Outreach Activities
outreach/ - women@CL
women/ 301 301 200- Introduction
women/intro/ 301 301 200- Friends of women@CL
women/intro/friends/ 301 301 200
- Calendar
women/calendar/ 301 301 200- Archive
women/calendar/archive/ 301 301 404- Past Events
women/calendar/archive/pastevents/ 301 301 404
- Tech Events
women/techevents/ 301 301 200 - Social Events
women/socialevents/ 301 301 403 - Gallery
women/gallery/ 301 301 404 - Mentoring
women/mentoring/ 301 301 200 - Contact
women/contact/ 301 301 200- Mailing lists
women/contact/mailinglist/ 301 301 200
- Useful Information
women/otherinitiatives/ 301 301 404- Scholarships
women/otherinitiatives/scholarships/ 301 301 404 - Events
women/otherinitiatives/events/ 301 301 404 - Initiatives
women/otherinitiatives/initiatives/ 301 301 404 - Support
women/otherinitiatives/support/ 301 301 404
- Dignity Policy
women/dignitypolicy/ 301 301 200 - FAQ
women/faq/ 301 301 200
- Athena SWAN
athena-swan/ 301 301 200- Events
athena-swan/events.html 301 301 200 - Contact Us
athena-swan/contact.html 301 301 200 - Athena SWAN Panel →
athena-swan/[...] 302 301 301 200 - women@CL →
athena-swan/[...] 302 301 301 200 - Outreach Activities →
athena-swan/[...] 302 200 - Spotlights on Women in Computer Science
athena-swan/spotlight.html 301 301 200 - Computer Lab Personnel Information →
athena-swan/[...] 302 302 301 403 - Case Studies
athena-swan/casestudies.html 301 301 200
- Web server privacy policy
privacy.html - Lists
lists/- List of PhD students
lists/phd/
- Searching
search/ - Sitemap
sitemap/- Link-check sitemap
sitemap/linkcheck.html
Note: An arrow (→) after the page title means that this page is actually located outside the regular directory hierarchy (cross link).