MSc in Computer Science and Engineering

Study Lines 2023/2024

· Artificial Intelligence and Algorithms

· Computer Security

· Digital Systems

· Embedded and Distributed Systems

· Safe and Secure by Design

· Software Engineering

Study Line: Artificial Intelligence and Algorithms

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02249 Computationally Hard Problems (7.5 ECTS)

02256 Automated Reasoning (5 ECTS)

02282 Algorithms for Massive Data Sets (7.5 ECTS)

02285 Artificial Intelligence and Multi-Agent Systems (7.5 ECTS)

02287 Logical Theories for Uncertainty and Learning (5 ECTS)

02289 Algorithmic Techniques for Modern Data Models (5 ECTS)

02291 System Integration (5 ECTS)

Study Line: Computer Security

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02232 Applied Cryptography (5 ECTS)

02233 Network Security (5 ECTS)

02234 Current Topics in System Security (5 ECTS)

02238 Biometric Systems (5 ECTS)

02239 Data Security (7.5 ECTS)

02242 Program Analysis (7.5 ECTS)

02244 Logic for Security (7.5 ECTS)

02255 Modern Cryptology (5 ECTS)

02291 System Integration (5 ECTS)

Study Line: Digital Systems

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02203 Design of Digital Systems (5 ECTS)

02204 Design of Asynchronous Circuits (5 ECTS)

02205 VLSI Design (5 ECTS)

02209 Test of Digital Systems (5 ECTS)

02211 Advanced Computer Architecture (5 ECTS)

02223 Model-Based Systems Engineering (7.5 ECTS)

02291 System Integration (5 ECTS)

Study Line: Embedded and Distributed Systems

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02211 Advanced Computer Architecture (5 ECTS)

02223 Model-Based Systems Engineering (7.5 ECTS)

02224 Modelling and Analysis of Real-Time Systems (5 ECTS)

02226 Networked Embedded Systems (5 ECTS)

02257 Applied Functional Programming (5 ECTS)

02258 Parallel Computer Systems (5 ECTS)

02291 System Integration (5 ECTS)

Study Line: Safe and Secure by Design

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02223 Model-Based Systems Engineering (7.5 ECTS)

02232 Applied Cryptography (5 ECTS)

02242 Program Analysis (7.5 ECTS)

02244 Logic for Security (7.5 ECTS)

02245 Program Verification (7.5 ECTS)

02246 Model Checking (7.5 ECTS)

02247 Compiler Construction (5 ECTS)

02291 System Integration (5 ECTS)

Study Line: Software Engineering

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02239 Data Security (7.5 ECTS)

02245 Program Verification (7.5 ECTS)

02263 Formal Aspects of Software Engineering (5 ECTS)

02266 User Experience Engineering (5 ECTS)

02267 Software Development of Web Services (5 ECTS)

02268 Process-Oriented and Event-Driven Software Systems (5 ECTS)

02269 Process Mining (5 ECTS)

02291 System Integration (5 ECTS)

Head of Study

Jørgen Villadsen

MSc in Computer Science and Engineering