Hilary Term

(MSc in Computer Science)

• Schedule A
  • Compilers  
  • Concurrency  
  • Concurrent Programming  
• Schedule B
  • Computational Complexity  
  • Computer Security  
  • Intelligent Systems II  
  • Logic of Multi-agent Information Flow  
  • Machine Learning  
• Schedule C
  • Automata, Logic and Games  
  • Database Systems Implementation  
  • Information Retrieval  
  • Quantum Computer Science  
  • Requirements  
  • Software Verification  
  • Theory of Data and Knowledge Bases