The present page is a supplement to the main pages of the MSc in Computer Science and Engineering programme: https://studieinformation.dtu.dk/english/master-of-science-in-engineering/computer-science-and-engineering
Important!
It is optional to follow a specialization on the programme and there is no registration in advance but exactly one specialization is stated on the diploma if the head of study is notified before the thesis is handed in.
Please consult the programme specification for more information about deadlines and other rules and regulations.
With respect to the specializations only the course numbers and ECTS points are relevant and so, for example, the courses might count as electives instead of programme specific courses and the courses might have obsolete titles, but such things do not matter for the required specialization points.
The naive algorithm often suffices for solving small scale problems, but in many real-life settings advanced algorithms and logic-based artificial intelligence are needed for robust, efficient and intelligent software. A simple search engine can easily index the contents of a drive on a personal computer but indexing the web is much more difficult. Similarly a robot can plan its actions optimally by an exhaustive state space search only if the number of possible actions and states is very limited. Software developers must be able to work with intrinsically hard problems and large, complicated data collections.
The student must follow the requirements in the general curriculum for the programme such that at least 25 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)
The terminated course 02221 Foundations of Distributed Systems (5 ECTS) also counts on the specialization.
As society becomes increasingly dependent on computer systems, from controlling critical infrastructure to providing public services over the web, the importance of protecting against threats from vandals, criminals, industrial espionage and cyber-terrorism grows dramatically. This specialization addresses the secure development, deployment and operation of computer systems that may interact with other computer systems across open networks. It involves various computer security topics, including cryptography, data security and network security.
The student must follow the requirements in the general curriculum for the programme such that at least 25 ECTS points are obtained among the following courses:
02232 Applied Cryptography (5 ECTS)
02233 Network Security (5 ECTS)
02234 Research Topics in Cybersecurity (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 Cryptography (5 ECTS)
02291 System Integration (5 ECTS)
The terminated course 02221 Foundations of Distributed Systems (5 ECTS) also counts on the specialization.
Electronic systems and devices typically contain complex digital hardware. This may be in the form of system-on-chip (SoC), embedded computer-based systems or heterogeneous multiprocessor platforms. Digital systems form the platforms in which hardware and software components are integrated. These systems span a vast range of applications from super-computers to ultra-low-power body-implantable medical devices. The design process of digital systems must therefore address a number of different aspects such as performance, power dissipation, reliability and price.
The student must follow the requirements in the general curriculum for the programme such that at least 25 ECTS points are obtained among the following courses:
02201 Agile Hardware Design (5 ECTS)
02203 Design of Digital Systems (5 ECTS)
02205 VLSI Design (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 systems are now everywhere: from medical devices to vehicles, from mobile phones to factory systems, almost all the devices we use today are controlled by networked embedded computers. Embedded systems often have to fulfill a wide range of competing constraints: low computational resources, high availability, adequate security, reliable communication. This requires the right balance between the hardware and software components. In this context, designing embedded systems becomes both increasingly important and increasingly difficult.
The student must follow the requirements in the general curriculum for the programme such that at least 25 ECTS points are obtained among the following courses:
02203 Design of Digital Systems (5 ECTS)
02211 Research Topics in Computer Architecture (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.
The key international IT companies which dominate the marketplace provide highly reliable software-intensive systems and services by using very advanced modeling, analysis and realization techniques. This specialization focuses on a number of the proactive methods and techniques used by internationally leading software and hardware companies for engineering safe and secure software-intensive systems. It covers the methods and techniques to achieve reliable systems, including program analysis, language-based security, compiler construction and model checking.
The student must follow the requirements in the general curriculum for the programme such that at least 25 ECTS points are obtained among the following courses:
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)
02263 Formal Aspects of Software Engineering (5 ECTS)
02291 System Integration (5 ECTS)
The terminated courses 02221 Foundations of Distributed Systems (5 ECTS) and 02223 Model-Based Systems Engineering (7.5 ECTS) also count on the specialization.
Software plays a central role in almost all aspects of daily life, e.g. in finance, health care, government and telecommunications. The use of software systems has grown dramatically as has their complexity. Enormous amounts of money are spent every day on software development yet the resulting software does not always meet the user's requirements and is not always reliable. This specialization aims to give you the skills required to develop high-quality software products. It teaches well-founded methods, techniques, and tools for the modeling, construction, analysis and verification of software systems.
The student must follow the requirements in the general curriculum for the programme such that at least 25 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)
The terminated courses 02221 Foundations of Distributed Systems (5 ECTS) and 02261 Software Startup Studio (5 ECTS) also count on the specialization.