Hilary Term, MSc in Advanced Computer Science

• Advanced Security  
• Algorithmic Foundations of Collective Decision Making  
• Automata, Logic and Games  
• Categories, Proofs and Processes  
• Computational Medicine  
• Computer Vision  
• Database Systems Implementation  
• Foundations of Self-Programming Agents  
• Geometric Deep Learning  
• Knowledge Representation & Reasoning  
• Lambda Calculus and Types  
• Law and Computer Science  
• Principles of Programming Languages  
• Quantum Information  
• Uncertainty in Deep Learning