Computer Laboratory

• Computer Laboratory
• Teaching
• Courses 2011–12
• Temporal Logic and Model Checking
• Course materials

• Bioinformatics
• Computer Systems Modelling
• Digital Signal Processing
• Hoare Logic
• Information Theory and Coding
• Optimising Compilers
• Principles of Communications
• Quantum Computing
• Types
• Artificial Intelligence II
• Business Studies
• Comparative Architectures
• Computer Vision
• Denotational Semantics
• Information Retrieval
• Natural Language Processing
• Security II
• Temporal Logic and Model Checking
• Topical Issues
• Advanced Graphics
• Business Studies Seminars
• E-Commerce
• Mobile and Sensor Systems
• System-on-Chip Design

• © 2011 Computer Laboratory, University of Cambridge
  Information provided by Prof Mike Gordon