Computer Laboratory

Advanced Operating Systems
Algebraic Path Problems, with applications to Internet Routing
Automated Reasoning
Category Theory and Logic
Chip Multiprocessors
Computer Security: Principles and Foundations
Discourse Processing
Introduction to Natural Language Syntax and Parsing
Introduction to networking and systems measurements
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
A Mathematical Theory of Distributed Games and Strategies
Advanced Functional Programming
Advanced Topics in Computer Systems
Advanced Topics in Natural Language Processing
Advanced Topics in Semantics
Affective Computing
Biomedical Information Processing
Computer Security: Current Applications and Research
Data Centric Systems and Networking
High performance networking
Interactive Formal Verification
Machine Learning and Algorithms for Data Mining
Social and Technological Network Data Analytics
Special topic LT
System on Chip Design and Modelling
Critical Coding for Digital Humanities

Course pages 2016–17 (still under preparation!)

Introduction to networking and systems measurements

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.