Computer Laboratory

Advanced Computer Design
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
Lexical Semantics
Low Power Embedded Systems Programming
Modern Compiler Design
Multicore Semantics and Programming
Overview of Natural Language Processing
Research Skills
Research Students Lectures
Spoken Language Processing
Theories of Interaction and Socio-digital Design
A Mathematical Theory of Distributed Games and Strategies
Advanced Functional Programming
Advanced Operating Systems
Advanced Syntax and Semantics of Natural Language
Advanced Topics in Denotational Semantics
Biomedical Information Processing
Computer Security: Current Applications and Research
Discourse Processing
Flows in Networks
Interactive Formal Verification
Language and Concepts
Machine Learning for Language Processing
Sensor Fusion and Location Aware Computing
Social and Technological Network Analysis
System on Chip Design and Modelling
Usability of Programming Languages
Critical Coding for Digital Humanities

Course pages 2014–15

Advanced Topics in Denotational Semantics

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.