skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Courses
Applying
Events and open days
Fees and finance
Student blogs and videos
Postgraduate
Why Cambridge
Course directory
How to apply
Fees
Funding
Frequently asked questions
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
History
Visiting the University
Term dates and calendars
Map
For media
Video and audio
Find an expert
Publications
International Cambridge
News
Events
Public engagement
Jobs
Giving to Cambridge
Research at Cambridge
For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search
Department of Computer Science and Technology
Log in with Raven
Home
The department
About
People
People overview
Faculty
Research staff
PhD students
Professional services staff
Fellows
Affiliated lecturers
Visitors
News
Seminars
Seminars overview
Weekly timetable
Wednesday seminars
Wednesday seminar recordings ➥
Wheeler lectures
Computer Laboratory 75th anniversary ➥
women@CL 10th anniversary ➥
History
Facilities
Reception
Food
Cycling
Maps and directions
How to find us
William Gates Building
Contact information
Initiatives
Accelerate Programme for Scientific Discovery
Accelerate Programme for Scientific Discovery overview
Contacts
Data for Science Residency FAQs
News
Data Trusts Initiative
Data Trusts Initiative overview
News
People
Research Funding FAQs
Cambridge Ring
Cambridge Ring overview
Ring News
Ring Events
Hall of Fame
Hall of Fame Awards
FAQ
Hall of Fame - Nominations
The Supporters' Club
The Supporters' Club overview
Members
Industrial Collaboration
Annual Recruitment Fair
Annual Recruitment Fair overview
Archive
Graduate Opportunities
Summer internships
Technical Talks
Supporter Events and Competitions
How to join
Collaboration
Equality and Diversity
Equality and Diversity overview
Athena SWAN
E&D Committee
Support and Development
Targeted funding
LGBTQ+@CL
LGBTQ+@CL overview
Events
Links and resources
Queer Library
women@CL
women@CL overview
About Us
About Us overview
Friends of women@CL
Friends of women@CL overview
Past members
Past Student Members
News
Calendar
Tech Events
Social Events
Mentoring
Students' experiences
Contact
Contact overview
Mailing lists
Useful information
Scholarships
Initiatives
Support
Dignity Policy
FAQ
Outreach
Raspberry Pi Tutorials ➥
Wiseman prize
Research
Research overview
Algorithms and Complexity
Computer Architecture
Graphics, Vision and Imaging Science
Human-Centred Computing
Machine Learning and Artificial Intelligence
Mobile Systems, Robotics and Automation
Natural Language Processing
Programming Languages, Semantics and Verification
Security
Systems and Networking
Research information
Admissions
Admissions information
Undergraduate admissions
Undergraduate admissions overview
Open days and events
Undergraduate course overview
Undergraduate course overview overview
Year 1
Year 2
Year 3
Year 4
Making your application
Admissions FAQs
MPhil in Advanced Computer Science
MPhil in Advanced Computer Science overview
Applications
Course structure
Funding competitions
Prerequisites
PhD in Computer Science
PhD in Computer Science overview
Application forms
Research Proposal
Funding competitions and grants
Premium Research Studentship
Current students
Current students overview
Part IA
Part IB
Part IB overview
Part IB group projects
Part IB group projects overview
Important dates
Design briefs
Learning objectives and assessment
Course structure
Technical considerations
After the project
Behaviour
Part II
Part II overview
Part II projects
Part II projects overview
Important dates
Part II project suggestions
Overseer groups
Project proposal
Advice on running the project
Progress report and presentation
The dissertation
Submission
Assessment
Supervisor briefing notes
Overseer Briefing Notes
Part II sign-up dates
Part II units of assessment
Part II supervisions overview
Continuing to Part III
Part III of the Computer Science Tripos
Masters courses
Overview
Overview overview
Resources
Information for current Masters students
ACS Forms
Part III and ACS projects
Part III and ACS projects overview
Submission of project reports
ACS projects
ACS projects overview
Guidance for ACS projects
Part III projects
Part III projects overview
Guidance for Part III projects
Project suggestions
Induction for M.Phil and Part III students
Preparation
Registration
Induction - Masters students
PhD students
PhD resources
PhD resources overview
Deadlines for PhD applications
Protocol for Graduate Advisers for PhD students
Guidelines for PhD supervisors
Induction information
Induction information overview
Important Dates
Who is here to help
Exemption from University Composition Fees
The basics
Being a research student
Researcher Development
Progression
Third Year Report: Progress Statement
Fourth Year: writing up and completion
Fourth Year: writing up and completion overview
PhD thesis formatting
Writing up and word count
Submitting your dissertation
CPGS
First Year Report: the PhD Proposal
Second Year Report: Dissertation Schedule
Papers and conferences
Leave to work away, holidays, and intermission
Postgraduate Students Forum
List of PhD students ➥
PAT, recycling, and Building Services
Freshers
Course material 2019/20 ➥
Course material 2020/21
Course material 2020/21 overview
Part IA
Part IB CST 75%
Part IB CST 50%
Part II CST 75%
Part II CST 50%
Part III
MPhil ACS
MPhil ACS overview
Advanced Graphics and Image Processing
Advanced Operating Systems
Advanced Topics in Computer Architecture
Advanced Topics in Computer Systems
Advanced Topics in Mobile Systems and Mobile Data Machine Learning
Advanced topics in machine learning or natural language processing
Affective Computing
Algebraic Path Problems
Automated Reasoning
Category Theory
Computer Security: Principles and Foundations
Computer Vision
Cybercrime
Data Science: principles and practice
Digital Signal Processing
Distributed Ledger Technologies: Foundations and Applications
Hardware Security Practicals
Interaction with machine learning
Interactive Formal Verification
Introduction to Natural Language Syntax and Parsing
Large-scale data processing and optimisation
Machine Learning and the Physical World
Machine Learning for Language Processing
Mobile Robot Systems
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Principles of Machine Learning Systems
Probabilistic Machine Learning
Research Skills Programme
Technology, law and society
Exams
Exams overview
Examination dates
Examination results ➥
Examiners' reports ➥
Part III Assessment
MPhil Assessment
Past exam papers ➥
Examinations Guidance 2020-21
Head of Department's Announcements
Part IA
Part IB
Part II
Part III
Marking Scheme and Classing Convention
Guidance on Plagiarism and Collusion
Purchase of calculators
Examinations Data Retention Policy
Guidance on deadlines
Student Complaint Procedure
Lecture timetables
Lecture timetables overview
Understanding the short form timetable
Supervisions
Supervisions overview
Part II supervisions overview ➥
Part II sign-up dates ➥
Notes on supervising
Supervisor support
Directors of studies list
Exchanges and internships
Academic exchanges
Advice for visiting students taking Part IB CST
UROP internships
Undergraduate student guidance
Resources for students
Resources for students overview
Online services
MATLAB
Managed Cluster Service (MCS)
Microsoft Software for personal use
Installing Linux
Part III and MPhil Machines
Transferable skills
Lecture feedback and student representation
Lecture feedback and student representation overview
Providing lecture feedback
Fast feedback hotline
Staff-Student Consultative Forum
Graduate Students' Forum ➥
Breaking the silence ➥
Student administration offices
Job vacancies ➥
Intranet
Derek Sorensen
PhD Student
Themes
Programming Languages, Semantics and Verification
Contact Details
Room:
FE23
Office phone:
(01223) 7-69057
Email:
ds885@cam.ac.uk
