Code |
Course Name |
Credits |
INFR11020
|
Algorithmic Game Theory and its Applications
|
10
|
INFR11069
|
Adaptive Learning Environments 1 (Level 11)
|
10
|
INFR11033
|
Automatic Speech Recognition
|
10
|
INFR11021
|
Computer Graphics (Level 11)
|
10
|
INFR11032
|
Compiler Optimisation (Level 11)
|
10
|
INFR11022
|
Distributed Systems (Level 11)
|
10
|
INFR11017
|
Human-Computer Interaction (Level 11)
|
10
|
INFR11061
|
Natural Language Understanding (Level 11)
|
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
|
INFR11016
|
Bioinformatics 1
|
10
|
INFR11005
|
Bioinformatics 2
|
10
|
INFR11088
|
Extreme Computing
|
10
|
INFR11008
|
Neural Computation
|
10
|
INFR11010
|
Reinforcement Learning
|
10
|
INFR11091
|
Robot Learning and Sensorimotor Control
|
10
|
INFR11035
|
Neural Information Processing
|
10
|
INFR11036
|
Computational Cognitive Neuroscience
|
10
|
INFR11049
|
Computer Networking (Level 11)
|
10
|
INFR11092
|
Robotics: Science and Systems
|
20
|
INFR11111
|
Computer Algebra
|
10
|
INFR11113
|
Topics in Natural Language Processing
|
10
|
INFR11015
|
Applied Databases
|
10
|
INFR11079
|
Music Informatics
|
10
|
INFR11098
|
Secure Programming
|
10
|
INFR11125
|
Accelerated Natural Language Processing
|
20
|
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
|
INFR11031
|
Advanced Vision (Level 11)
|
10
|
INFR11134
|
Probabilistic Modelling and Reasoning
|
20
|
INFR11133
|
Machine Translation
|
20
|
INFR11130
|
Machine Learning and Pattern Recognition
|
20
|
INFR11132
|
Machine Learning Practical
|
20
|
INFR11011
|
Advanced Databases (Level 11)
|
10
|
INFR11082
|
Performance Modelling (Level 11)
|
10
|
INFR11089
|
Randomness and Computation
|
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
|
INFR11099
|
Introduction to Quantum Computing
|
10
|