Code |
Course Name |
Credits |
INFR11020
|
Algorithmic Game Theory and its Applications
|
10
|
INFR11032
|
Compiler Optimisation (Level 11)
|
10
|
INFR11022
|
Distributed Systems (Level 11)
|
10
|
INFR11088
|
Extreme Computing
|
10
|
INFR11024
|
Parallel Architectures (Level 11)
|
10
|
INFR11023
|
Parallel Programming Languages and Systems (Level 11)
|
10
|
INFR11038
|
Software Architecture, Process, and Management (Level 11)
|
10
|
INFR11111
|
Computer Algebra
|
10
|
INFR11049
|
Computer Networking (Level 11)
|
10
|
INFR11092
|
Robotics: Science and Systems
|
20
|
INFR11079
|
Music Informatics
|
10
|
INFR11098
|
Secure Programming
|
10
|
INFR11120
|
Embedded Systems
|
10
|
INFR11122
|
Advanced Topics in Foundations of Databases
|
20
|
INFR11124
|
Social and Technological Networks
|
10
|
INFR11114
|
Types and Semantics for Programming Languages
|
10
|
INFR11011
|
Advanced Databases (Level 11)
|
10
|
INFR11082
|
Performance Modelling (Level 11)
|
10
|
INFR11101
|
Advances in Programming Languages
|
10
|
INFR11123
|
Scalable Data Management Systems
|
10
|
INFR11128
|
Categories and Quantum Informatics
|
10
|
INFR11129
|
Formal Verification
|
10
|
INFR11131
|
Introduction to Modern Cryptography
|
10
|
INFR11089
|
Randomness and Computation
|
10
|
INFR11015
|
Applied Databases
|
10
|
INFR11099
|
Introduction to Quantum Computing
|
10
|
INFR11007
|
Data Mining and Exploration
|
10
|