Computer Laboratory

Advanced Computer Design
Advanced Operating Systems
Algebraic Path Problems, with applications to Internet Routing
Automated Reasoning
Building an Internet Router
Category Theory and Logic
Chip Multiprocessors
Computer Security: Principles and Foundations
Data Centric Systems and Networking
Introduction to Natural Language Syntax and Parsing
Machine Learning for Language Processing
Modern Compiler Design
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Principles of Data Science
Research Skills Programme
Research Students Lectures
Special topic MT
Theories of Interaction and Socio-digital Design
Advanced Functional Programming
Advanced Topics in Denotational Semantics
Advanced Topics in Natural Language Processing
Biomedical Information Processing
Computer Security: Current Applications and Research
Discourse Processing
Interactive Formal Verification
Machine Learning and Algorithms for Data Mining
Special topic LT
System on Chip Design and Modelling
Usability of Programming Languages
Critical Coding for Digital Humanities

Course pages 2015–16

Category 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.