← Curricula

CSE — 2025-2026

Scheme

Year 1

Q1
Q2
Q3
Q4
2IMF10 Process Algebra E1

Year 2

Q1
Q2
Q3
Q4
2IMC00 Master Project
2IMC05 Preparation Graduation Project

Recommended electives

Q1
Q2
Q3
Q4
2IMP15 Software Project Management A1
2IMC10 Internship
2IMS10 Physical Aspects of Digital Security A1
2IMA50 Algorithms for Collective Decision Making A2
2AMI10 Software and Analytics - Foundational course [1] A2,D2
2IMD20 Language Virtual Machines Design and Implementation B
2AMM20 Research Topics in Data Mining B1,B2
2IMF30, 2IMN10 Architecture and Systems - Foundational course [2]
2IMA25 Exact Algorithms for NP-hard Problems C2
2IMS25 Principles of Data Protection C2
2IMI00, 2IMV00 Seminar [3]
2IMA10, 2IMF25 Algorithms and Theory - Foundational course [4]
2IMA35 Massively Parallel Algorithms A
2IMF35 Algorithms for Model Checking A1
2IMD10 Architecture and Systems - Foundational course [2] B2
2IMA15 Geometric Algorithms B2,B3
2IMN20 Real-Time Systems C
2DMI20 Software Security C2
2IMP10 Software and Analytics - Foundational course [1] D1
2IMD00, 2IMM00, 2IMU00 Seminar [3] D2
2IMP40 Empirical Methods in Software Engineering E1
2IMS20 Cyberattacks Crime and Defenses E1
2IMN15 Internet of Things E1,E2
2IMP60 Human-Computer Interaction E2
2IMF15 Proving with Computer Assistance A1,E2
2IMN30 Machine Learning for Industry A2
2AMM15 Machine Learning Engineering B
2IMS30 Advanced Network Security B,B2
2IMN25 Quantitative Evaluation of Cyber Physical Systems B1,B2
2AMD15 Big Data Management D2
2IMA20 Algorithms for Geovisualization E1
2IMP25 Software and Analytics - Foundational course [1] E1
2IMS40 Intrusion Detection Laboratory E1
2IMV10 Visual Computing Project E1
2IMS15 Verification of Security Protocols E1,E2
2IMP30 System Design Engineering A2,A3
2AMM10 Deep Learning C1
2IMA00, 2IMF00, 2IMN00, 2IMP00, 2IMS00 Seminar [3]
2IMS50 Introduction to Quantum Computing and Security D1
2IMP20 Domain Specific Language Design D2
2IMV15 Simulation in Computer Graphics D2,D3
2IMS60 Provable Security D3,E2

[1] Software and Analytics - Foundational course — choose 1 of 3: 2AMI10 Foundations of Process Mining, 2IMP10 Program Verification Techniques, 2IMP25 Software Evolution.

[2] Architecture and Systems - Foundational course — choose 1 of 3: 2IMF30 System Validation, 2IMN10 Architecture of Distributed Systems, 2IMD10 Engineering Data-Intensive Systems.

[3] Seminar — choose 1 of 10: 2IMI00 Seminar Process Analytics, 2IMV00 Seminar Visualization, 2IMD00 Seminar Datamanagement, 2IMM00 Seminar Data Mining, 2IMU00 Seminar Uncertainty in AI, 2IMA00 Seminar Algorithms, 2IMF00 Seminar Formal System Analysis, 2IMN00 Seminar Interconnected Resource-aware Intelligent Systems (IRIS), 2IMP00 Seminar Software Engineering and Technology, 2IMS00 Seminar Information Security Technology.

[4] Algorithms and Theory - Foundational course — choose 1 of 2: 2IMA10 Advanced Algorithms, 2IMF25 Automated Reasoning.

Algorithms and Theory Architecture and Systems Software and Analytics
Visualize (colors):
Visualize (tags):
Also applies to the exports below.
Export as .xlsx Export as .png Export as .png (with electives) Export electives as .png