Department of Computer Science and Technology

Advanced Operating Systems
Advanced topics in mobile and sensor systems and data modelling
Affective Computing
Algebraic Path Problems
Category Theory, Type Theory and Logic
Chip Multiprocessors
Computer Security: Principles and Foundations
Computer Vision
Interactive Formal Verification
Introduction to Natural Language Syntax and Parsing
Introduction to networking and systems measurements
Large-scale data processing and optimisation
Machine Learning and Algorithms for Data Mining
Machine Learning for Language Processing
Modern Compiler Design
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Probabilistic Machine Learning
Research Skills Programme
Research Students Lectures
Special topic MT
Advanced Functional Programming
Advanced Topics in Computer Systems
[no title found]
Biomedical Information Processing
Computer Security: Current Applications and Research
Deep learning for natural language processing
High performance networking
Interaction with machine learning
Special topic LT
System on Chip Design and Modelling
Critical Coding for Digital Humanities

Course pages 2017–18

Category Theory, Type Theory and Logic

Syllabus
Course materials
Assessment

The course lecturer will provide here shortly information about assessed work for this course, such as exercise/essay/project deadlines, exam dates, etc.