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/- 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/- Wednesday Seminar Series
seminars/wednesday/- Recordings
seminars/wednesday/video/
- Wheeler Lectures
seminars/wheeler/ - women@cl 10th Anniversary →
seminars/[...] - Computer Laboratory 75th Anniversary →
seminars/[...]
- History
history/ - Facilities
facilities/- Reception
facilities/reception.html - Food
facilities/catering.html - Shopping and leisure
facilities/leisure.html - Cycling
facilities/cycling/
- Library
library/- [no title found]
library/induction.html 404 - Library guides
library/guides/- Library guide
library/guides/libguide.html - Undergraduate library guide
library/guides/ugguide.html - Brief library guide
library/guides/briefguide.html
- Catalogues
library/catalogues.html - Coronavirus resources
library/covid.html - Electronic resources
library/biblio.html - Local services
library/local.html - Lab technical reports →
library/[...] - 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 - Discrete mathematics
library/reslists/discmath.html - Information Retrieval
library/reslists/inforet.html - Artificial intelligence
library/reslists/artint.html - Document Markup
library/reslists/markup.html - Social Aspects of Computing
library/reslists/social.html
- Reading lists
library/booklists/ - Reprographics equipment
library/equipment.html - Library Photographs
library/photos/ - Archives
library/archives.html
- Maps and directions
maps/ - Contact information
contact/
- 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/- Loki Processor
research/comparch/research/loki.html - CTSRD Project
research/comparch/research/ctsrd.html - HELIX
research/comparch/research/helix.html - [no title found]
research/comparch/research/janus.html - DOME
research/comparch/research/dome.html - IOSEC Project
research/comparch/research/iosec.html - SafeBet Project
research/comparch/research/safebet.html - Research Platforms
research/comparch/research/platforms.html
- ACS & Part II/III Project Suggestions
research/comparch/project_suggestions/ - People
research/comparch/people/ - Selected Publications
research/comparch/publications/ - Open source components
research/comparch/opensource/- DE4 Tablet computer
research/comparch/opensource/de4tablet/ - PCIe to SATA breakout board
research/comparch/opensource/pcie-sata/
- Group Meetings
research/comparch/meetings/ - Contact Details
research/comparch/contact.html
- Digital Technology
research/dtg - 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/[...] - 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/- 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/[...] - 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
- 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/[...] - 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 - CheriBSD
research/security/ctsrd/cheri/cheribsd.html - QEMU-CHERI
research/security/ctsrd/cheri/cheri-qemu.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 - 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
- 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/[...]
- 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 - 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/ - [no title found]
research/security/datasets 404 - 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/
- Research support
research/researchsupport/- Research grants
research/researchsupport/grants.html - Fellowships
research/researchsupport/fellowships.html - Meetings & Travel
research/researchsupport/meetings.html - Industrial Collaboration
research/researchsupport/collaboration.html - Commercialisation
research/researchsupport/commercialisation.html - Writing a proposal
research/researchsupport/application.html - Impact statements
research/researchsupport/impact.html - Collaborating with the Computer Lab
research/researchsupport/rescollaborations.html - Making your work public
research/researchsupport/publications.html
- Admissions
admissions/- Undergraduate Computer Science at Cambridge
admissions/undergraduate/- Why Cambridge
admissions/undergraduate/about/ - Why CS
admissions/undergraduate/why/ - Course
admissions/undergraduate/course/- 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/ - Prospects
admissions/undergraduate/prospects/
- Open Days
admissions/undergraduate/events/ - Apply
admissions/undergraduate/entry/ - CSAT
admissions/undergraduate/csat/- Practice [+] Platform
admissions/undergraduate/csat/practice/
- FAQ
admissions/undergraduate/faq/ - Downloads
admissions/undergraduate/downloads/ - Contact
admissions/undergraduate/contact/ - Sitemap
admissions/undergraduate/sitemap/
- MPhil ACS
admissions/acs/- Modules →
admissions/acs/[...] - PhD applications →
admissions/acs/[...] - Research →
admissions/acs/[...] - Graduate Admissions Prospectus →
admissions/acs/[...] 403 - Funding deadlines →
admissions/acs/[...] 403
- PhD degree
admissions/phd/- Research →
admissions/phd/[...] - Graduate Admissions Prospectus →
admissions/phd/[...] 403 - Funding deadlines →
admissions/phd/[...] 403 - MPhil in Advanced Computer Science →
admissions/phd/[...] - CPGS →
admissions/phd/[...] - Premium Research Studentship
admissions/phd/rs-premium.html
- Student Administration
admissions/student-admin/ - Discontinued courses
admissions/past- Diploma course
admissions/diploma/ - MPhil CSTIT
admissions/cstit/
- Teaching
teaching/- Part IA →
teaching/[...] - Part IB →
teaching/[...] - Part II →
teaching/[...] - Masters courses
teaching/masters/- Induction for M.Phil and Part III students
teaching/masters/week1.html - ACS Forms
teaching/masters/forms.html - Part III and ACS projects
teaching/masters/projects/- ACS projects
teaching/masters/projects/acs/- Guidance for ACS projects
teaching/masters/projects/acs/guidelines.html
- Part III projects
teaching/masters/projects/part3/- Guidance for Part III projects
teaching/masters/projects/part3/guidelines.html
- Project suggestions
teaching/masters/projects/suggestions/ - Submission of project reports
teaching/masters/projects/submission.html
- RSP Schedule
teaching/masters/RSP_schedule.html
- PhD students →
teaching/[...] - Freshers →
teaching/[...] - Courses 2019–20
teaching/1920/- Part IA CST 75%
teaching/1920/part1a-75.html - Part IA CST 50%
teaching/1920/part1a-50.html - Part IA NST
teaching/1920/part1a-other.html - Part IB CST 75%
teaching/1920/part1b-75.html - Part IB CST 50%
teaching/1920/part1b-50.html - Part II CST 75%
teaching/1920/part2-75.html - Part II CST 50%
teaching/1920/part2-50.html - Part III
teaching/1920/part3.html - MPhil ACS
teaching/1920/acs.html - Lecturer index
teaching/1920/lecturers.html - Instructions for lecturers
teaching/1920/instructions.html - Undergraduate
teaching/1920/undergraduate- Preparation for Computer Science
teaching/1920/PrepCS/ - Advanced Graphics and Image Processing
teaching/1920/AdvGraphIP/ - Bioinformatics
teaching/1920/Bioinfo/ - Business Studies
teaching/1920/Business/ - Computer Design
teaching/1920/CompDesign/ - Concurrent and Distributed Systems
teaching/1920/ConcDisSys/ - Data Science: principles and practice
teaching/1920/DataSciII/ - Databases
teaching/1920/Databases/ - Denotational Semantics
teaching/1920/DenotSem/ - Digital Electronics
teaching/1920/DigElec/ - Digital Signal Processing
teaching/1920/DSP/ - Digital Signal Processing
teaching/1920/DSP2/ - Discrete Mathematics
teaching/1920/DiscMath/ - ECAD and Architecture Practical Classes
teaching/1920/ECAD+Arch/ - Economics, Law and Ethics
teaching/1920/EconLaw/ - Foundations of Computer Science
teaching/1920/FoundsCS/ - Foundations of Data Science
teaching/1920/DataSci/ - Further Graphics
teaching/1920/FGraphics/ - Further Java
teaching/1920/FJava/ - Hardware Practical Classes
teaching/1920/HW/ - Information Theory
teaching/1920/InfoTheory/ - Introduction to Graphics
teaching/1920/Graphics/ - LaTeX and MATLAB
teaching/1920/TeX+MATLAB/ - Multicore Semantics and Programming
teaching/1920/Multicore/ - Natural Language Processing
teaching/1920/NLP/ - OCaml Practical Classes
teaching/1920/OCaml/ - Object-Oriented Programming
teaching/1920/OOProg/ - Principles of Communications
teaching/1920/PrincComm/ - Programming in C and C++
teaching/1920/ProgC/ - Registration
teaching/1920/Registratn/ - Scientific Computing Practical Course
teaching/1920/SciComp/ - Semantics of Programming Languages
teaching/1920/Semantics/ - Types
teaching/1920/Types/ - Unix Tools
teaching/1920/UnixTools/ - Algorithms
teaching/1920/Algorithms/ - Cloud Computing
teaching/1920/CloudComp/ - Comparative Architectures
teaching/1920/CompArch/ - Compiler Construction
teaching/1920/CompConstr/ - Computation Theory
teaching/1920/CompTheory/ - Computer Networking
teaching/1920/CompNet/ - Computer Vision
teaching/1920/CompVision/ - Cryptography
teaching/1920/Crypto/ - E-Commerce
teaching/1920/ECommerce/ - Further Human–Computer Interaction
teaching/1920/FHCI/ - Logic and Proof
teaching/1920/LogicProof/ - Machine Learning and Bayesian Inference
teaching/1920/MLBayInfer/ - Machine Learning and Real-world Data
teaching/1920/MLRD/ - Mobile Robot Systems
teaching/1920/MobRobot/ - Mobile and Sensor Systems
teaching/1920/MobSensSys/ - Operating Systems
teaching/1920/OpSystems/ - Optimising Compilers
teaching/1920/OptComp/ - Probability and Computation
teaching/1920/Probablty/ - Prolog
teaching/1920/Prolog/ - Quantum Computing
teaching/1920/QuantComp/ - Topics in Concurrency
teaching/1920/TopConc/ - Advanced Algorithms
teaching/1920/AdvAlgo/ - Artificial Intelligence
teaching/1920/ArtInt/ - Business Studies Seminars
teaching/1920/BusSeminrs/ - Complexity Theory
teaching/1920/Complexity/ - Concepts in Programming Languages
teaching/1920/ConceptsPL/ - Formal Models of Language
teaching/1920/ForModLang/ - Hoare Logic and Model Checking
teaching/1920/HLog+ModC/ - Interaction Design
teaching/1920/IntDesign/ - Introduction to Probability
teaching/1920/IntroProb/ - Security
teaching/1920/Security/ - Software and Security Engineering
teaching/1920/SWSecEng/
- Masters
teaching/1920/masters- Advanced Graphics and Image Processing
teaching/1920/L352/ - Advanced Topics in Computer Architecture
teaching/1920/R265/ - Advanced Topics in Mobile Systems and Mobile Data Machine Learning
teaching/1920/R249/ - Algebraic Path Problems
teaching/1920/L11/ - Automated Reasoning
teaching/1920/L18/ - Category Theory
teaching/1920/L108/ - Cybercrime
teaching/1920/R254/ - Data Science: principles and practice
teaching/1920/M20/ - Digital Signal Processing
teaching/1920/L314/ - Hardware Security
teaching/1920/P232/ - Interactive Formal Verification
teaching/1920/L21/ - Introduction to Natural Language Syntax and Parsing
teaching/1920/L95/ - Introduction to networking and systems measurements
teaching/1920/L50/ - Large-scale data processing and optimisation
teaching/1920/R244/ - Machine Learning for Language Processing
teaching/1920/L101/ - Multicore Semantics and Programming
teaching/1920/L304/ - Network Architectures
teaching/1920/R02/ - Overview of Natural Language Processing
teaching/1920/L90/ - Probabilistic Machine Learning
teaching/1920/LE49/ - Research Skills Programme
teaching/1920/RSP/ - Technology, law and society
teaching/1920/R260/ - Advanced Operating Systems
teaching/1920/L41/ - Advanced Topics in Computer Systems
teaching/1920/R01/ - Advanced topics in machine learning and natural language processing
teaching/1920/R250/ - Affective Computing
teaching/1920/L44/ - Computer Security: Principles and Foundations
teaching/1920/R209/ - Computer Vision
teaching/1920/L248/ - High performance networking
teaching/1920/P51/ - Machine learning for programming
teaching/1920/P252/ - Mobile Robot Systems
teaching/1920/L310/ - Topics in Concurrency
teaching/1920/L301/ - Topics in Logic and Complexity
teaching/1920/L15/
- Courses 2020–21
teaching/2021/- Part IA CST
teaching/2021/part1a.html - Part IB CST 75%
teaching/2021/part1b-75.html - Part IB CST 50%
teaching/2021/part1b-50.html - Part II CST 75%
teaching/2021/part2-75.html - Part II CST 50%
teaching/2021/part2-50.html - Part III
teaching/2021/part3.html - MPhil ACS
teaching/2021/acs.html - Lecturer index
teaching/2021/lecturers.html - Instructions for lecturers
teaching/2021/instructions.html - Undergraduate
teaching/2021/undergraduate- Preparation for Computer Science
teaching/2021/PrepCS/ - Advanced Graphics and Image Processing
teaching/2021/AdvGraphIP/ - Bioinformatics
teaching/2021/Bioinfo/ - Business Studies
teaching/2021/Business/ - Category Theory
teaching/2021/CatTheory/ - Computer Design
teaching/2021/CompDesign/ - Concurrent and Distributed Systems
teaching/2021/ConcDisSys/ - Databases
teaching/2021/Databases/ - Foundations of Data Science
teaching/2021/DataSci/ - Data Science: principles and practice
teaching/2021/DataSciII/ - Denotational Semantics
teaching/2021/DenotSem/ - Digital Electronics
teaching/2021/DigElec/ - Digital Signal Processing
teaching/2021/DSP/ - Discrete Mathematics
teaching/2021/DiscMath/ - ECAD and Architecture Practical Classes
teaching/2021/ECAD+Arch/ - Economics, Law and Ethics
teaching/2021/EconLaw/ - Foundations of Computer Science
teaching/2021/FoundsCS/ - Further Graphics
teaching/2021/FGraphics/ - Further Java
teaching/2021/FJava/ - Hardware Practical Classes
teaching/2021/HW/ - Information Theory
teaching/2021/InfoTheory/ - Introduction to Graphics
teaching/2021/Graphics/ - LaTeX and MATLAB
teaching/2021/TeX+MATLAB/ - Multicore Semantics and Programming
teaching/2021/Multicore/ - Natural Language Processing
teaching/2021/NLP/ - Object-Oriented Programming
teaching/2021/OOProg/ - OCaml Practical Classes
teaching/2021/OCaml/ - Principles of Communications
teaching/2021/PrincComm/ - Programming in C and C++
teaching/2021/ProgC/ - Registration
teaching/2021/Registratn/ - Scientific Computing Practical Course
teaching/2021/SciComp/ - Semantics of Programming Languages
teaching/2021/Semantics/ - Types
teaching/2021/Types/ - Unix Tools
teaching/2021/UnixTools/ - Advanced Operating Systems
teaching/2021/AdvOpSys/ - Algorithms
teaching/2021/Algorithms/ - Cloud Computing
teaching/2021/CloudComp/ - Comparative Architectures
teaching/2021/CompArch/ - Compiler Construction
teaching/2021/CompConstr/ - Computation Theory
teaching/2021/CompTheory/ - Computer Networking
teaching/2021/CompNet/ - Computer Systems Modelling
teaching/2021/CompSysMod/ - Computer Vision
teaching/2021/CompVision/ - Cryptography
teaching/2021/Crypto/ - Cybercrime
teaching/2021/Cybercrime/ - Deep Neural Networks
teaching/2021/DeepNN/ - E-Commerce
teaching/2021/ECommerce/ - Further Human–Computer Interaction
teaching/2021/FHCI/ - Interaction with Machine Learning
teaching/2021/InteractML/ - Logic and Proof
teaching/2021/LogicProof/ - Machine Learning and Bayesian Inference
teaching/2021/MLBayInfer/ - Machine Learning and Real-world Data
teaching/2021/MLRD/ - Mobile and Sensor Systems
teaching/2021/MobSensSys/ - Mobile Robot Systems
teaching/2021/MobRobot/ - Operating Systems
teaching/2021/OpSystems/ - Optimising Compilers
teaching/2021/OptComp/ - Prolog
teaching/2021/Prolog/ - Quantum Computing
teaching/2021/QuantComp/ - Advanced Algorithms
teaching/2021/AdvAlgo/ - Artificial Intelligence
teaching/2021/ArtInt/ - Business Studies Seminars
teaching/2021/BusSeminrs/ - Complexity Theory
teaching/2021/Complexity/ - Concepts in Programming Languages
teaching/2021/ConceptsPL/ - Formal Models of Language
teaching/2021/ForModLang/ - Hoare Logic and Model Checking
teaching/2021/HLog+ModC/ - Interaction Design
teaching/2021/IntDesign/ - Introduction to Probability
teaching/2021/IntroProb/ - Security
teaching/2021/Security/ - Software and Security Engineering
teaching/2021/SWSecEng/
- Masters
teaching/2021/masters- Advanced Graphics and Image Processing
teaching/2021/L352/ - Advanced Topics in Computer Architecture
teaching/2021/R265/ - Advanced Topics in Mobile Systems and Mobile Data Machine Learning
teaching/2021/R249/ - Algebraic Path Problems
teaching/2021/L11/ - Automated Reasoning
teaching/2021/L18/ - Category Theory
teaching/2021/L108/ - Computer Security: Principles and Foundations
teaching/2021/R209/ - Data Science: principles and practice
teaching/2021/L330/ - Digital Signal Processing
teaching/2021/L314/ - Interactive Formal Verification
teaching/2021/L21/ - Introduction to Natural Language Syntax and Parsing
teaching/2021/L95/ - Large-scale data processing and optimisation
teaching/2021/R244/ - Machine Learning and the Physical World
teaching/2021/L48/ - Machine Learning for Language Processing
teaching/2021/L101/ - Multicore Semantics and Programming
teaching/2021/L304/ - Network Architectures
teaching/2021/R02/ - Overview of Natural Language Processing
teaching/2021/L90/ - Principles of Machine Learning Systems
teaching/2021/L46/ - Probabilistic Machine Learning
teaching/2021/LE49/ - Research Skills Programme
teaching/2021/RSP/ - Technology, law and society
teaching/2021/R260/ - Advanced Operating Systems
teaching/2021/L41/ - Advanced Topics in Computer Systems
teaching/2021/R01/ - Advanced topics in machine learning or natural language processing
teaching/2021/R250/ - Affective Computing
teaching/2021/L44/ - Computer Vision
teaching/2021/L248/ - Cybercrime
teaching/2021/R254/ - Distributed Ledger Technologies: Foundations and Applications
teaching/2021/L47/ - Hardware Security Practicals
teaching/2021/P232/ - Interaction with Machine Learning
teaching/2021/P230/ - Mobile Robot Systems
teaching/2021/L310/
- Lecture course material
teaching/material.html - Skills
teaching/skill.html - Exams
teaching/exams/- Examination dates
teaching/exams/dates.html - Examination results
teaching/exams/results/ - Examiners' reports
teaching/exams/reports/ - Plagiarism and collusion
teaching/exams/plagiarism.html - Purchase of calculators
teaching/exams/calculators.html - Data Retention Policy
teaching/exams/dataretention.html - Past exam papers
teaching/exams/pastpapers/- 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 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 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 - 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 HCI
teaching/exams/pastpapers/t-FurtherHCI.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 - 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/- [no title found]
teaching/exams/archive/2020/ - [no title found]
teaching/exams/archive/2019/ - [no title found]
teaching/exams/archive/2018/ - [no title found]
teaching/exams/archive/2017/ - [no title found]
teaching/exams/archive/2016/ - [no title found]
teaching/exams/archive/2015/ - [no title found]
teaching/exams/archive/2014/ - [no title found]
teaching/exams/archive/2013/ - [no title found]
teaching/exams/archive/2012/ - [no title found]
teaching/exams/archive/2011/ - [no title found]
teaching/exams/archive/2010/ - [no title found]
teaching/exams/archive/2009/ - [no title found]
teaching/exams/archive/2008/ - [no title found]
teaching/exams/archive/2007/ - [no title found]
teaching/exams/archive/2006/ - [no title found]
teaching/exams/archive/2005/ - [no title found]
teaching/exams/archive/2004/ - [no title found]
teaching/exams/archive/2003/ - [no title found]
teaching/exams/archive/2002/ - [no title found]
teaching/exams/archive/2001/ - [no title found]
teaching/exams/archive/2000/ - [no title found]
teaching/exams/archive/1999/ - [no title found]
teaching/exams/archive/1998/ - [no title found]
teaching/exams/archive/1997/ - [no title found]
teaching/exams/archive/1996/ - [no title found]
teaching/exams/archive/1995/ - [no title found]
teaching/exams/archive/1994/ - [no title found]
teaching/exams/archive/1993/
- Guidance on deadlines
teaching/exams/deadlines.html - Part III Assessment
teaching/exams/p3_assessment.html - MPhil Assessment
teaching/exams/acs_assessment.html - Student Complaint Procedure
teaching/exams/ExamReview.html
- Lecture timetables
teaching/timetables/- Short form timetable
teaching/timetables/sfcst.html
- Supervisions
teaching/supervisions/- Part II supervisions overview
teaching/supervisions/overview.html - Part II sign-up dates
teaching/supervisions/thirdlectures.html - Notes on supervising
teaching/supervisions/notes/ - Supervisor support
teaching/supervisions/support.html
- Academic exchanges
teaching/exchanges/- Advice for students visiting Cambridge
teaching/exchanges/preparation.html
- UROP internships
teaching/urop/ - Part IB group projects
teaching/group-projects/- Timetable
teaching/group-projects/timetable.html 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 403
- Part II projects
teaching/projects/- Briefing document (Pink Book)
teaching/projects/pinkbook/- Introduction
teaching/projects/pinkbook/node1.html - Overview of the Project
teaching/projects/pinkbook/node2.html - Timetable
teaching/projects/pinkbook/node3.html - Overseers
teaching/projects/pinkbook/node4.html - Sources of Projects
teaching/projects/pinkbook/node5.html - From Idea to Definite Plan
teaching/projects/pinkbook/node6.html - Submission and Content of the Project Proposal
teaching/projects/pinkbook/node7.html - The Project
teaching/projects/pinkbook/node8.html - Backing up Files
teaching/projects/pinkbook/node9.html - Changes to the Original Plan
teaching/projects/pinkbook/node10.html - Progress Reports
teaching/projects/pinkbook/node11.html - The Dissertation
teaching/projects/pinkbook/node12.html - Project Assessment
teaching/projects/pinkbook/node13.html - Late Submission
teaching/projects/pinkbook/node14.html - Plagiarism and Fraud
teaching/projects/pinkbook/node15.html - Intellectual Property Issues
teaching/projects/pinkbook/node16.html - Viva Voce Examinations
teaching/projects/pinkbook/node17.html - Guidelines for Assessors
teaching/projects/pinkbook/node18.html - Footnotes
teaching/projects/pinkbook/footnode.html
- Important dates
teaching/projects/dates.html - Overseers
teaching/projects/overseers/- Past overseer groups
teaching/projects/overseers/archive.html
- Phase 1 report
teaching/projects/phase1.html - Back-up advice
teaching/projects/backup.html - Resources Declaration
teaching/projects/special.html - Studies Involving Human Participants
teaching/projects/humansubjects.html - Failure to submit proposal
teaching/projects/proposal-failure.html - Selection Tips
teaching/projects/selection-tips.html - Declaration of originality
teaching/projects/declaration-of-originality.html - Submission of dissertation
teaching/projects/submission.html - IP ownership
teaching/projects/ip.html - Diploma model projects
teaching/projects/model-proposals.html - Older project suggestions
teaching/projects/old-projects.html - Supervising Notes
teaching/projects/supervisor-notes.html - Overseer Briefing Notes
teaching/projects/overseer-briefing/ - External Part II project suggestions
teaching/projects/external-projects.html
- Part II units of assessment
teaching/part2-units.html - Continuing to Part III
teaching/part3info.html - Directors of Studies
teaching/dos-list/ - Resources
teaching/resources- Managed Cluster Service
teaching/mcs/ - Part III and MPhil machines
teaching/mphil-machines/ - Online services
teaching/online-services/ - Installing Linux
teaching/linux/ - MATLAB
teaching/matlab/ - Microsoft Azure for Education Membership
teaching/mssoftware.html
- Feedback
teaching/feedback/ - Teaching Hotline
teaching/hotline/ - Transferring into Part IB
teaching/transfer.html - Part III information
teaching/part3dosinfo.html - Sitemap
teaching/sitemap.html 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
- 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/[...] - 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/
- Internal information
local/ 403- New arrivals
local/arrivals/ 403- An introduction to our computing facilities →
local/arrivals/[...] - Information for new PhD students →
local/arrivals/[...] - Information for new staff
local/arrivals/newstaff/ 403- Procedures for reception staff
local/arrivals/newstaff/reception.html 404
- Information for visitors
local/arrivals/visitors/ - Information for hosts of visitors
local/arrivals/hosts/ 403 - General information
local/arrivals/generalinformation.html 403 - Induction Guidelines →
local/arrivals/[...] 403
- Specialist resources →
local/[...] 403 - System administration
local/sys/ 403- Email
local/sys/mail/ 403- Email rôle addresses
local/sys/mail/roles/ 403 - Mailing lists
local/sys/mail/mail-lists.html 403 - Mail processing
local/sys/mail/mail-processing.html 403 - Vacation messages
local/sys/mail/mail-vacation.html 403 - Migrating MH mail to IMAP
local/sys/mail/mh-to-imap-migration.html 403
- Printing and scanning
local/sys/printers/ 403- Printing on macOS
local/sys/printers/mac/ 403 - Printing on Windows 7 and newer
local/sys/printers/windows/ 403 - Producing posters
local/sys/printers/gum/ 403 - Common printing problems
local/sys/printers/common-problems.html 403 - Scanning/Copying/Printing on mulberry
local/sys/printers/mulberry/ 403 - Scanning/Copying/Printing on holly
local/sys/printers/holly/ 403
- Filespace
local/sys/filesystems/ 403- Filer access on Unix
local/sys/filesystems/unix/ 403 - Filer access on macOS
local/sys/filesystems/mac/ - Remote file access using WebDAV
local/sys/filesystems/webdav/ 403 - Retrieving lost data
local/sys/filesystems/snapshots.html 403 - Quota report
local/sys/filesystems/quotareport/
- The CL network
local/sys/network/ 403- Remote access
local/sys/network/remote-access.html 403 - VLANs
local/sys/network/vlan.html 403
- SSH access to the CL systems
local/sys/ssh/ 403- SSH on Unix
local/sys/ssh/openssh.html 403 - SSH on Windows
local/sys/ssh/windows/ 403 - SSH on macOS
local/sys/ssh/mac/ 403 - Password complexity
local/sys/ssh/passwords/ 403 - Troubleshooting
local/sys/ssh/troubleshooting.html 403 - Understanding SSH
local/sys/ssh/overview.html 403
- Supported platforms
local/sys/platforms/ - Generic Unix/Linux information
local/sys/unix/ 403- Linux systems: Booting, shutting down, power saving
local/sys/unix/boot-shutdown-powersave/ 403 - Software installation
local/sys/unix/software-install/ 403- Package managers
local/sys/unix/software-install/package-managers.html 403 - Gaining privilege: sudo, xsudo, cl-asuser
local/sys/unix/software-install/gaining-privilege.html 403 - Software installation using apt-get
local/sys/unix/software-install/apt.html 403 - Software installation using yum
local/sys/unix/software-install/yum.html 403 - Software installation on managed Linux machines
local/sys/unix/software-install/managed-machines.html 403
- Desktop environments
local/sys/unix/desktop/ 403- Configuration of XFce4
local/sys/unix/desktop/xfce.html 403 - Configuration of GNOME
local/sys/unix/desktop/gnome.html 403
- Web servers and sites
local/sys/web/ 403- Personal web pages
local/sys/web/personal.html 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
- Editing the main web site
local/sys/web/subversion/- 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 403 - Web guidelines and policy
local/sys/web/guidelines/ 404- Web edting programs
local/sys/web/guidelines/webediting.html 404 - Basic HTML
local/sys/web/guidelines/basichtml.html 404
- Policy on web pages
local/sys/web/policy.html 403 - Access control
local/sys/web/htaccess.html 403 - Mathematical expressions
local/sys/web/math.html 403 - Access logging
local/sys/web/logs.html 403
- The RT ticketing system
local/sys/rt/ 403 - Specialist resources
local/sys/resources/ 403- Videoconference facilities
local/sys/resources/videoconferencing/ 403 - MATLAB, and other licenced software
local/sys/resources/matlab/ 403 - Application servers
local/sys/resources/application-servers.html 403 - High Performance Computing
local/sys/resources/hpc/ 403 - GPU facilities
local/sys/resources/gpu/ 403 - Data centre facilities
local/sys/resources/datacentre/ 403
- Lecture theatre AV
local/sys/ltav/ 403 - Sitemap
local/sys/sitemap/ 403 - Frequently asked questions
local/sys/faq/ 403
- Roles and responsibilities
local/roles/ - Information for staff
local/staff.html 403- Accounting
local/finance/ 403- Purchasing
local/finance/purchasing.html 403 - Travel
local/finance/travel.html 403 - Expense claims
local/finance/expense-claims.html 403 - Preparing research grants
local/finance/grants.html 403
- Parking
local/parking.html - Cycling
local/cycling-staff.html - Departmental policies
local/policy/ 403- Ethical review of research with human participants
local/policy/ethics/- Detailed guidance →
local/policy/ethics/[...] 404 - Review form →
local/policy/ethics/[...] 401 - Review form (read-only)
local/policy/ethics/submission-read-only.html
- Undergraduate students
local/policy/ug-policy/ - Staff Development Programme
local/policy/staffdevpolicy.html
- Information for hosts of visitors →
local/[...] 403 - Meeting rooms →
local/[...] 403 - Personnel information
local/personnel/ 403- Procedure for promotion to Senior Research Associate
local/personnel/promotiontosra.html - Staff appraisal
local/personnel/appraisal.html 403 - Leave and absence
local/personnel/leave.html 403 - Induction Guidelines for New Starters
local/personnel/inductionguidelines.html 403 - Athena SWAN →
local/personnel/[...] - Employee Benefits →
local/personnel/[...] 404 - Dignity at Work and Dignity at Study →
local/personnel/[...] 404 - Staff Survey 2015
local/personnel/staffsurvey/
- Reception
local/reception.html - Staff training
local/training.html 403 - Stores →
local/[...] 403 - UROP internships
local/urop/ - Wiseman prize
local/wiseman.html
- Health and safety
local/safety/- Emergency
local/safety/emergency/- Fire
local/safety/emergency/fire.html - Fire wardens
local/safety/emergency/firewardens.html - Disability - building evacuation
local/safety/emergency/disabilityevacuation.html
- First aid
local/safety/firstaid/- First aid
local/safety/firstaid/firstaid.html - First aiders
local/safety/firstaid/firstaiders.html - Calling an ambulance
local/safety/firstaid/ambulance.html - Defibrillators
local/safety/firstaid/defibrillator/
- General health and safety
local/safety/hsgeneralinformation/- Information dissemination
local/safety/hsgeneralinformation/informationdissemination.html - Alarms in the William Gates Building
local/safety/hsgeneralinformation/alarms.html - Exam fire alarms
local/safety/hsgeneralinformation/exam-alarms.html - Panic buttons
local/safety/hsgeneralinformation/panicbuttons.html - Food safety
local/safety/hsgeneralinformation/foodsafety.html - Departmental barbecue
local/safety/hsgeneralinformation/barbq.html - Electrical equipment testing
local/safety/hsgeneralinformation/electricaltesting.html - Committee →
local/safety/hsgeneralinformation/[...]
- Environment →
local/safety/[...] 403 - Fitness
local/safety/fitness/ - H&S policies & committees
local/safety/policies/- Emergency procedures
local/safety/policies/emerg-proc.html - Strategy for First Aid provision
local/safety/policies/firstaidstrategy.html - NHS ambulance policy
local/safety/policies/ambulancepolicy.html 404 - Safety Policy
local/safety/policies/safetypolicy.html - Safety policy - structure/responsibilities
local/safety/policies/safetypolicystructure.html - Health and Safety Action Plan
local/safety/policies/actionplan.html - Pregnancy and new mothers at work
local/safety/policies/pregnancynewmothersatwork.html
- Risk assessment
local/safety/assessments/- Upper limb disorders
local/safety/assessments/upperlimbdisorders.html - Risk assessment
local/safety/assessments/riskassessment.html - Risk assessment template
local/safety/assessments/riskass-template.html 404 - PEEP
local/safety/assessments/PEEP.html 404 - PC
local/safety/assessments/rapc.html - Photocopier toner
local/safety/assessments/ratoner.html - Lifting bottles
local/safety/assessments/liftingbottles.html 404
- Laser safety
local/safety/laser/- Laser register
local/safety/laser/register.html - Laser user register
local/safety/laser/user-register.html
- Useful links
local/safety/links.html 404 - Index of Health & Safety pages
local/safety/hssitemap.html - Committee →
local/safety/[...]
- PhD resources
local/phd/- Induction
local/phd/phd-induction.html- Important dates
local/phd/important-dates.html - The basics
local/phd/basics.html - Who is here to help
local/phd/depthelp.html
- PhD supervisors
local/phd/supervisor1.html 404 - Graduate Advisers
local/phd/supervisor2.html 404 - CPGS
local/phd/cpgs.html - First Year Report: PhD Proposal
local/phd/year1-report.html - Second Year Report: Dissertation Schedule
local/phd/year2-report.html - Third Year Report: Progress Statement
local/phd/year3-report.html - Fourth Year Report: the last year
local/phd/year4.html - Papers and conferences
local/phd/publications.html - Writing up
local/phd/writingup.html - Thesis formatting →
local/phd/[...] - Submitting your dissertation
local/phd/submission.html - Exemption from University Composition Fees
local/phd/feesexemption.html - Leave to work away, holidays and intermission
local/phd/gradleave.html - Researcher Development
local/phd/researcherdev.html - Application deadlines
local/phd/deadlines.html - List of PhD thesis →
local/phd/[...] - Graduate Students' Forum
local/phd/gradforum/ - PAT, recycling and Building Services
local/phd/building-services.html
- Typographic resources
local/typography/- Thesis formatting
local/typography/phd/ - Preparing Tripos exam questions in LaTeX
local/typography/tripos/ - Poster screw position calculator
local/typography/posterscrews.html
- Teaching resources
local/teaching/- Information for CST examiners
local/teaching/examiners-guidance.html - Information for Directors of Studies
local/teaching/dos-guidance.html - ACS module definition
local/teaching/masters-modules.html - Providing advice to incoming ACS students
local/teaching/masters-advising.html - ACS interviewing and admissions
local/teaching/masters-admissions.html
- Outreach material
local/outreach/ - Committees
local/committees/- Faculty Board
local/committees/facultyboard/ - Degree Committee
local/committees/degree/- Information for examiners
local/committees/degree/examiners/
- Graduate Education
local/committees/grad-ed/- Decisions
local/committees/grad-ed/gec-decisions/
- Tripos Management
local/committees/teaching/ - Outreach
local/committees/outreach/ - Health & Safety
local/committees/safety/ - IT Strategy
local/committees/it-strategy/ - Equality and Diversity
local/committees/athena-swan/ - Research Staff
local/committees/research-staff/ - Staff–Student
local/committees/staff-student/ - Directors of Studies
local/committees/dos/ - Workload
local/committees/workload/ - Wellbeing
local/committees/wellbeing/ - Graduate Students →
local/committees/[...] - Ethics →
local/committees/[...] - Buildings and Environment
local/committees/buildings-environment/ - Selection
local/committees/selection/ - External
local/committees/external/ - Discontinued committees
local/committees/past- Computer Science Syndicate
local/committees/syndicate/ - Admin Support
local/committees/admin-support/ - Library
local/committees/library/ - Advanced Taught Courses Management
local/committees/atcmc/ - Joint Teaching Strategy
local/committees/jts/
- William Gates Building
local/wgb/ 403- Building Services
local/wgb/building-service.html 403 - Access and security
local/wgb/securityaccess.html 403 - Care of the WGB
local/wgb/buildingcare.html 403 - Facilities in offices
local/wgb/officefacilities.html 403 - Energy & Environment
local/wgb/ecobuilding.html 403 - Meeting rooms
local/wgb/meetingrooms.html 403 - Stores
local/wgb/stores.html 403 - West Cambridge Site
local/wgb/westcambridge.html 403
- Leaving the department
local/departures/ 403
- Computer Science Option (NST)
freshers/paper1/
- Gift Share Scheme
gift-share/ - Supporters Club
supporters-club/- Members
supporters-club/members.html - Collaboration
supporters-club/collab.html - How to join
supporters-club/howtojoin.html - Annual Recruitment Fair
supporters-club/recruitment-fair.html - Graduate Opportunities
supporters-club/graduateopportunities/ 403 - Summer internships
supporters-club/summerinternships/ 403 - Prizes
supporters-club/studentprizes/ 404
- Events
ring/events.html - Hall of Fame
ring/halloffame.html - Hall of Fame Awards
ring/awards.html - Hall of Fame Awards – Nominations
ring/nominations.html - The Ring newsletter
ring/newsletter/ - FAQ
ring/FAQ.html
- Outreach Activities
outreach/ - women@CL
women/- Introduction
women/intro/- Friends of women@CL
women/intro/friends/
- Calendar
women/calendar/- Archive
women/calendar/archive/ 404- Past Events
women/calendar/archive/pastevents/ 404
- Tech Events
women/techevents/ - Social Events
women/socialevents/ - Gallery
women/gallery/ 404 - Mentoring
women/mentoring/ - Contact
women/contact/- Mailing lists
women/contact/mailinglist/
- Useful Information
women/otherinitiatives/ 404- Scholarships
women/otherinitiatives/scholarships/ 404 - Events
women/otherinitiatives/events/ 404 - Initiatives
women/otherinitiatives/initiatives/ 404 - Support
women/otherinitiatives/support/ 404
- Dignity Policy
women/dignitypolicy/ - FAQ
women/faq/
- Athena SWAN
athena-swan/- Events
athena-swan/events.html - Contact Us
athena-swan/contact.html - Athena SWAN Panel →
athena-swan/[...] - women@CL →
athena-swan/[...] - Outreach Activities →
athena-swan/[...] - Spotlights on Women in Computer Science
athena-swan/spotlight.html - Computer Lab Personnel Information →
athena-swan/[...] 403 - Case Studies
athena-swan/casestudies.html
- 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).