Offered teachings

Study plans committee

This page lists the teachings offered within the master programme in computer science, together with their classifications.

Namely, here you will find the the teachings characterising each computer science area (such sets of teachings are called recommended completion pathways, RPC, in the regulation) as well as those in the class of "related teachings".

Guideline

Strictly follow the provided guidelines to design a valid study plan and use this page mainly as a reference for each step described there.

Teachings in Recommended Completion Pathways

You need to choose your RPCs in order to comply with step 1 of our guidelines and to design a valid study plan.

RPC in Algorithms (30 credits)

Advanced Algorithms
Computational Complexity
Cryptography
Graph Theory
Network Algorithms

RPC in Artificial Intelligence (36 credits)

Advanced Machine Learning
Big Data Computing
Computer Vision
Deep Learning and Applied Artificial Intelligence
Formal Methods for AI-Based Systems Engineering
Natural Language Processing

RPC in Computational Models for Systems Design (30 credits)

Automatic Verification of Intelligent Systems
Concurrent Systems
Formal Methods for AI-Based Systems Engineering
Mathematical Logic for Computer Science
Models of Computation

RPC in Data Science (30 credits)

Advanced Machine Learning
Big Data Computing
Cloud Computing
Data and Network Security
Foundations of Data Science

RPC in Multimedia Computing and Interaction (48 credits)

Advanced Machine Learning
Advanced Software Engineering
Biometric Systems
Computer Vision
Deep Learning and Applied Artificial Intelligence
Human-Computer Interaction on The Web
Multimodal Interaction
Natural Language Processing

RPC in Networks (24 credits)

Autonomous Networking
Computer Network Performance
Internet of Things
Network Algorithms

RPC in Security (36 credits)

Biometric Systems
Blockchain and Distributed Ledger Technologies
Cryptography
Data and Network Security
Practical Network Defense
Security in Software Applications

RPC in Software Engineering (48 credits)

Advanced Algorithms
Advanced Software Engineering
Automatic Verification of Intelligent Systems
Blockchain and Distributed Ledger Technologies
Concurrent Systems
Distributed Systems
Formal Methods for AI-Based Systems Engineering
Security in Software Applications

RPC in Systems (24 credits)

Advanced Architectures
Cloud Computing
Concurrent Systems
Distributed Systems

Related teachings

You need to select related teachings in order to comply with step 2 of our guidelines and to design a valid study plan.

Advanced Algorithms
Advanced Architectures
Advanced Machine Learning
Advanced Software Engineering
Automatic Verification of Intelligent Systems
Autonomous Networking
Big Data Computing
Biometric Systems
Blockchain and Distributed Ledger Technologies
Cloud Computing
Computational Complexity
Computer Network Performance
Computer Vision
Concurrent Systems
Cryptography
Data and Network Security
Data-Driven Modeling of Complex Systems
Deep Learning and Applied Artificial Intelligence
Distributed Systems
Ethical Hacking
Formal Methods for AI-Based Systems Engineering
Foundations of Data Science
Graph Theory
Human-Computer Interaction On The Web
Internet of Things
Mathematical Logic For Computer Science
Methods in Computer Science Education: Analysis
Methods in Computer Science Education: Design
Models of Computation
Multimodal Interaction
Natural Language Processing
Network Algorithms
Practical Network Defense
Security in Software Applications
Topics in Physics

Looking for detailed programmes?

Browse the "Attendance" section of the institutional course programme website.

Page updated

Report abuse