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
A Mathematical Theory of Distributed Games and Strategies
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

System on Chip Design and Modelling

Syllabus
Course materials
Assessment

At the outset, this year I said we might think mainly about the following topic: Reconfigurable Computing and Hardware Acceleration. We ended up working mainly on: Electronic data sheets and automatic configuration of IP blocks.

All information will be placed on this link, updated as we go: LINK ACS-P35.
Last year’s course materials are still available.