Computer Laboratory

Advanced Category Theory in Computer Science
Advanced Computer Design
Advanced Data Flow Analysis
Advanced Graphics
Advanced Topics in Computer Systems
Advanced Topics in Concurrency
Algorithms I
Algorithms II
An Algebraic Approach to Internet Routing
Artificial Intelligence I
Artificial Intelligence II
Building an Internet Router
Business Studies
Categorical Logic
Category Theory for Computer Science
Chip Multiprocessors
Comparative Architectures
Compiler Construction
Complexity Theory
Computation Theory
Computer Design
Computer Fundamentals
Computer Graphics and Image Processing
Computer Networking
Computer Systems Modelling
Computer Vision
Concepts in Programming Languages
Concurrent and Distributed Systems I
Concurrent and Distributed Systems II
Data Centric Networking
Databases
Deep Language Modelling
Denotational Semantics
Denotational Semantics
Digital Electronics
Digital Signal Processing
Discrete Mathematics I
Discrete Mathematics II
E-Commerce
ECAD and Architecture Practical Classes
Economics and Law
Floating-Point Computation
Flows in Networks
Foundations of Computer Science
Further Java
Further Java Briefing
Hardware Practical Classes
Hoare Logic
Human-Computer Interaction
Information Retrieval
Innovative User Interfaces
Interactive Formal Verification
Introduction to Natural Language Processing
Introductory Logic
Lexical Semantics and Discourse Processing
Logic and Proof
Low Power Embedded Systems Programming
Machine Learning for Language Processing
Mathematical Methods for Computer Science
Mobile and Sensor Systems
Multicore Programming
Natural Language Processing
Network Architecture
Object-Oriented Programming
Operating Systems
Optimising Compilers
Principles of Communication
Probability
Programming Logics and Software Verification
Programming for Mobiles
Programming in C and C++
Programming in Java
Prolog
Registration
Regular Languages and Finite Automata
Research Skills
Security I
Security II
Semantics of Programming Languages
Set Theory for Computer Science
Social and Technological Network Analysis
Software Design
Software Engineering
Spoken Language Processing
Statistical Machine Translation
Syntax and Semantics of Natural Language
System on Chip Design and Modelling
System-on-Chip Design
Temporal Logic and Model Checking
Topical Issues
Topics in Concurrency
Topics in Logic and Complexity
Topics in Security: Forensic Signal Analysis
Types
- Information for supervisors
Unix Tools
Usability of Programming Languages

Course material 2010–11

Types

Principal lecturer: Dr Christian Urban
Taken by: Part II
Syllabus
Past exam questions
Information for supervisors (contact lecturer for access permission)

If you are reading this then no extra material has yet been placed on the Web for this course.