Program Overview

MSc in Computer Science and Engineering - DTU

The MSc in Computer Science and Engineering programme at DTU offers several specializations, each with its own set of requirements and courses.

Overview

The programme provides students with the opportunity to specialize in one of the following areas:

• Artificial Intelligence and Algorithms
• Cybersecurity
• Digital Systems
• Embedded and Distributed Systems
• Safe and Secure by Design
• Software Engineering

It is optional to follow a specialization on the programme, and there is no registration in advance. However, exactly one specialization is stated on the diploma if the head of study is notified before the thesis is handed in.

Specializations

Artificial Intelligence and Algorithms

This specialization focuses on advanced algorithms and logic-based artificial intelligence for robust, efficient, and intelligent software. Students must obtain at least 25 ECTS points 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) The terminated course 02221 Foundations of Distributed Systems (5 ECTS) also counts on the specialization.

Cybersecurity

This specialization equips students with the essential knowledge and skills to address the secure development, deployment, and operation of interconnected computer systems across open networks. Students must obtain at least 25 ECTS points among the following courses:

• 02231 Cryptography Fundamentals (5 ECTS)
• 02232 Applied Cryptography (5 ECTS)
• 02234 Research Topics in Cybersecurity (5 ECTS)
• 02270 Cybersecurity Fundamentals (5 ECTS)
• 02271 Advanced Cybersecurity (5 ECTS)
• 02275 Ethical Hacking (5 ECTS)
• 02276 Usable Security and Privacy (5 ECTS)
• 02277 Cyber Risk Management and Incident Response (5 ECTS)
• 02278 Post-Quantum Cryptography (5 ECTS)
• 02291 System Integration (5 ECTS) The terminated courses 02221 Foundations of Distributed Systems (5 ECTS), 02233 Network Security (5 ECTS), 02238 Biometric Systems (5 ECTS), 02239 Data Security (7.5 ECTS), and 02255 Modern Cryptography (5 ECTS) also count on the specialization.

Digital Systems

This specialization focuses on the design process of digital systems, addressing aspects such as performance, power dissipation, reliability, and price. Students must obtain at least 25 ECTS points among the following courses:

• 02201 Agile Hardware Design (5 ECTS)
• 02203 Design of Digital Systems (5 ECTS)
• 02205 VLSI Design (5 ECTS)
• 02207 Verification of Digital Systems (5 ECTS)
• 02209 Test of Digital Systems (5 ECTS)
• 02211 Research Topics in Computer Architecture (5 ECTS)
• 02214 Hardware/Software Codesign (5 ECTS)
• 02225 Distributed Real-Time Systems (5 ECTS)
• 02291 System Integration (5 ECTS) The terminated courses 02204 Design of Asynchronous Circuits (5 ECTS), 02217 Design of Arithmetic Processors (5 ECTS), 02221 Foundations of Distributed Systems (5 ECTS), and 02223 Model-Based Systems Engineering (7.5 ECTS) also count on the specialization.

Embedded and Distributed Systems

This specialization focuses on the design of embedded systems, which are increasingly important and difficult to design due to competing constraints. Students must obtain at least 25 ECTS points among the following courses:

• 02203 Design of Digital Systems (5 ECTS)
• 02211 Research Topics in Computer Architecture (5 ECTS)
• 02214 Hardware/Software Codesign (5 ECTS)
• 02225 Distributed Real-Time Systems (5 ECTS)
• 02226 Networked Embedded Systems (5 ECTS)
• 02249 Computationally Hard Problems (7.5 ECTS)
• 02258 Parallel Computer Systems (5 ECTS)
• 02291 System Integration (5 ECTS) The terminated courses 02221 Foundations of Distributed Systems (5 ECTS), 02223 Model-Based Systems Engineering (7.5 ECTS), 02224 Modelling and Analysis of Real-Time Systems (5 ECTS), 02229 Systems Optimization (7.5 ECTS), and 02257 Applied Functional Programming (5 ECTS) also count on the specialization.

Safe and Secure by Design

This specialization focuses on proactive methods and techniques used by internationally leading software and hardware companies for engineering safe and secure software-intensive systems. Students must obtain at least 25 ECTS points among the following courses:

• 02231 Cryptography Fundamentals (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)
• 02256 Automated Reasoning (5 ECTS)
• 02262 Formal Aspects of Process Science (5 ECTS)
• 02291 System Integration (5 ECTS) The terminated courses 02221 Foundations of Distributed Systems (5 ECTS), 02223 Model-Based Systems Engineering (7.5 ECTS), and 02263 Formal Aspects of Software Engineering (5 ECTS) also count on the specialization.

Software Engineering

This specialization aims to give students the skills required to develop high-quality software products, teaching well-founded methods, techniques, and tools for the modeling, construction, analysis, and verification of software systems. Students must obtain at least 25 ECTS points among the following courses:

• 02242 Program Analysis (7.5 ECTS)
• 02245 Program Verification (7.5 ECTS)
• 02262 Formal Aspects of Process Science (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)
• 02270 Cybersecurity Fundamentals (5 ECTS)
• 02291 System Integration (5 ECTS) The terminated courses 02221 Foundations of Distributed Systems (5 ECTS), 02239 Data Security (7.5 ECTS), 02261 Software Startup Studio (5 ECTS), and 02263 Formal Aspects of Software Engineering (5 ECTS) also count on the specialization.