Computer Laboratory

• Computer Laboratory
• Teaching
• Courses 2011–12
• Algebra and programming semantics
• Course materials

• Advanced Computer Design
• Advanced Topics in Computer Systems
• Algebra and programming semantics
• Automated Reasoning
• Category Theory and Logic
• Chip Multiprocessors
• Image Processing and Image Coding
• Innovative User Interfaces
• Introduction to Natural Language Processing
• Introductory Logic
• Low Power Embedded Systems Programming
• Multicore Semantics and Programming
• Network Architectures
• Programming for Mobiles
• Research Skills
• Spoken Language Processing
• Word Meaning and Discourse Understanding
• Advanced Topics in Concurrency
• Building an Internet Router
• Data Centric Networking
• Flows in Networks
• Language and Concepts
• Machine Learning for Language Processing
• Operating and Distributed System Security
• Social and Technological Network Analysis
• Syntax and Semantics of Natural Language
• System on Chip Design and Modelling
• Topics in Logic and Complexity
• Interactive Formal Verification
• Research Students Lectures

• © 2011 Computer Laboratory, University of Cambridge
  Information provided by Prof Sir Tony Hoare