Computer Laboratory

• Computer Laboratory
• Teaching
• Courses 2015–16
• Data Centric Systems and Networking
• Assessment

• Advanced Computer Design
• Advanced Operating Systems
• Algebraic Path Problems, with applications to Internet Routing
• Automated Reasoning
• Building an Internet Router
• Category Theory and Logic
• Chip Multiprocessors
• Computer Security: Principles and Foundations
• Data Centric Systems and Networking
• Introduction to Natural Language Syntax and Parsing
• Machine Learning for Language Processing
• Modern Compiler Design
• Multicore Semantics and Programming
• Network Architectures
• Overview of Natural Language Processing
• Principles of Data Science
• Research Skills Programme
• Research Students Lectures
• Special topic MT
• Theories of Interaction and Socio-digital Design
• Advanced Functional Programming
• Advanced Topics in Denotational Semantics
• Advanced Topics in Natural Language Processing
• Biomedical Information Processing
• Computer Security: Current Applications and Research
• Discourse Processing
• Interactive Formal Verification
• Machine Learning and Algorithms for Data Mining
• Special topic LT
• System on Chip Design and Modelling
• Usability of Programming Languages
• Critical Coding for Digital Humanities

• © 2015 Computer Laboratory, University of Cambridge
  Information provided by Dr Eiko Yoneki