Specialization courses
These are the courses that can be taken as specialization courses. The list of courses is updated once a year. All 500, 600, and 700 level KAIST Computer Science courses can be taken as specialization courses.
| DTU | 02203 | Design of Digital Systems | 5 ECTS |
| DTU | 02204 | Design of Asynchronous Circuits | 5 ECTS |
| DTU | 02205 | VLSI Design | 5 ECTS |
| DTU | 02209 | Test of Digital Systems | 5 ECTS |
| DTU | 02211 | Advanced Computer Architecture | 5 ECTS |
| DTU | 02213 | Digitl Systems Laboratory | 5 ECTS |
| DTU | 02217 | Design of Arithmetic Processors | 5 ECTS |
| DTU | 02220 | Distributed Systems | 7½ ECTS |
| DTU | 02223 | Fundamentals of Modern Embedded Systems | 7½ ECTS |
| DTU | 02224 | Real-Time Systems | 5 ECTS |
| DTU | 02228 | Fault-Tolerant Systems | 7½ ECTS |
| DTU | 02232 | Applied Cryptography | 5 ECTS |
| DTU | 02233 | Network Security | 5 ECTS |
| DTU | 02234 | Current Topics in System Security | 5 ECTS |
| DTU | 02238 | Biometric Systems | 5 ECTS |
| DTU | 02239 | Data Security | 7½ ECTS |
| DTU | 02242 | Program Analysis | 7½ ECTS |
| DTU | 02244 | Language-Based Security | 7½ ECTS |
| DTU | 02246 | Model Checking | 7½ ECTS |
| DTU | 02247 | Compiler Construction | 5 ECTS |
| DTU | 02249 | Computationally Hard Problems | 7½ ECTS |
| DTU | 02257 | Applied Functional Programming | 5 ECTS |
| DTU | 02263 | Formal Aspects of Software Engineering | 5 ECTS |
| DTU | 02264 | Requirements Engineering | 10 ECTS |
| DTU | 02265 | Advanced Topics in Software Engineering | 5 ECTS |
| DTU | 02266 | User Experience Engineering | 5 ECTS |
| DTU | 02267 | Software Development of Web Services | 5 ECTS |
| DTU | 02281 | Data Logic | 5 ECTS |
| DTU | 02282 | Algorithms for Massive Data Sets | 7½ ECTS |
| DTU | 02284 | Knowledge-Based Systems | 5 ECTS |
| DTU | 02285 | Artificial Intelligence and Multi-Agent Systems | 7½ ECTS |
| DTU | 02286 | Logic in Computer Science, Artificial Intelligence and Multi-Agent Systems | 7½ ECTS |
| DTU | 02291 | System Integration | 5 ECTS |
| KAIST | CS500 | Design and Analysis of Algorithms | 3 credits |
| KAIST | CS504 | Computational Geometry | 3 credits |
| KAIST | CS510 | Computer Architecture | 3 credits |
| KAIST | CS520 | Theory of Programming Languages | 3 credits |
| KAIST | CS522 | Theory of Formal Languages and Automata | 3 credits |
| KAIST | CS530 | Operating System | 3 credits |
| KAIST | CS540 | Network Architecture | 3 credits |
| KAIST | CS542 | Internet Systems Technology | 3 credits |
| KAIST | CS546 | Wireless Mobile Internet | 3 credits |
| KAIST | CS548 | Advanced Information Security | 3 credits |
| KAIST | CS550 | Software Engineering | 3 credits |
| KAIST | CS552 | Models of Software Systems | 3 credits |
| KAIST | CS554 | Designs for Software and Systems | 3 credits |
| KAIST | CS560 | Database System | 3 credits |
| KAIST | CS562 | Database Design | 3 credits |
| KAIST | CS570 | Artificial Intelligence | 3 credits |
| KAIST | CS572 | Intelligent Robotics | 3 credits |
| KAIST | CS574 | Natural Language Processing I | 3 credits |
| KAIST | CS576 | Computer Vision | 3 credits |
| KAIST | CS578 | Bionic Human-Robot Interaction | 3 credits |
| KAIST | CS579 | Computational Linguistics | 3 credits |
| KAIST | CS580 | Interactive Computer Graphics | 3 credits |
| KAIST | CS590 | Semantic Web | 3 credits |
| KAIST | CS591 | Software Ecosystem | 3 credits |
| KAIST | CS600 | Graph Theory | 3 credits |
| KAIST | CS610 | Parallel Processing | 3 credits |
| KAIST | CS612 | Social network-aware ubiquitous computing | 3 credits |
| KAIST | CS620 | Theory of Compiler Construction | 3 credits |
| KAIST | CS632 | Embedded Operating Systems | 3 credits |
| KAIST | CS642 | Distributed Processing Systems | 3 credits |
| KAIST | CS644 | Ubiquitous Networking | 3 credits |
| KAIST | CS650 | Advanced Software Engineering | 3 credits |
| KAIST | CS652 | Software & Systems Product Line Engineering | 3 credits |
| KAIST | CS654 | Software Process | 3 credits |
| KAIST | CS655 | System Modeling and Analysis | 3 credits |
| KAIST | CS656 | Software Engineering Economics | 3 credits |
| KAIST | CS660 | Information Storage and Retrieval | 3 credits |
| KAIST | CS662 | Distributed Database | 3 credits |
| KAIST | CS664 | Advanced Database System | 3 credits |
| KAIST | CS670 | Fuzzy and Intelligent System | 3 credits |
| KAIST | CS671 | Machine Learning | 3 credits |
| KAIST | CS672 | Reinforcement Learning | 3 credits |
| KAIST | CS674 | Natural Language Processing II | 3 credits |
| KAIST | CS676 | Pattern Recognition | 3 credits |
| KAIST | CS680 | Advanced Computer Graphics | 3 credits |
| KAIST | CS682 | Digital Storytelling | 3 credits |
| KAIST | CS684 | Human-Computer Interaction | 3 credits |
| KAIST | CS700 | Topics in Computation Theory | 3 credits |
| KAIST | CS710 | Topics in Computational Architecture | 3 credits |
| KAIST | CS712 | Topics in Parallel Processing | 3 credits |
| KAIST | CS720 | Topics in Programming Languages | 3 credits |
| KAIST | CS730 | Topics in Operating Systems | 3 credits |
| KAIST | CS744 | Topics in System Architecture | 3 credits |
| KAIST | CS748 | Topics on Information Security | 3 credits |
| KAIST | CS750 | Topics in Software Engineering | 3 credits |
| KAIST | CS760 | Topics in Database System | 3 credits |
| KAIST | CS770 | Topics in Computer Vision | 3 credits |
| KAIST | CS772 | Topics in Natural Language Processing | 3 credits |
| KAIST | CS774 | Topics in Artificial Intelligence | 3 credits |
| KAIST | CS776 | Topics in Cognitive Science | 3 credits |
| KAIST | CS780 | Topics in Interactive Computer Graphics | 3 credits |
| KAIST | CS788 | Topics on Human-Computer Interaction | 3 credits |
| KAIST | CS790 | Technical Writing for Computer Science | 3 credits |
The courses DTU 02221 and DTU 02222 are not applicable together.
The lists of general competence courses and specialization courses are intentionally overlapping (credits can be split, but can only count once).