Part II of the Computer Science Tripos

• Introduction
• Michaelmas Term 1997: Part II lectures
  • Project Briefing II
  • Communicating Automata and Pi Calculus
  • Information Retrieval
  • Computer System Modelling
  • Introduction to VLSI
  • Types
  • Advanced Algorithms
  • Security
  • Optimising Compilers
  • Digital Communication II
• Lent Term 1998: Part II lectures
  • Advanced Graphics
  • Additional Topics
  • Artificial Intelligence
  • Information Theory and Coding
  • Natural Language Processing
  • Comparative Architectures
  • Database Topics
  • Specification and Verification I
  • Neural Computing
  • Numerical Analysis II
• Easter Term 1998: Part II lectures
  • ECAD Topics
  • Computer Vision
  • Distributed Systems
  • Specification and Verification II
  • Denotational Semantics
  • Business Studies