CSE — 2027-2028

Scheme

Year 1

2IMA10, 2IMD10, 2IMF30 Core course ^[1]

Elective

2IMN15, 2IMP40, TBD-VISFM Core course ^[1]

TBD-ETHICS Ethics of Digital Technologies

Elective

[1] Core course — choose 3 of 6: 2IMA10 Advanced Algorithms, 2IMD10 Engineering Data-Intensive Systems, 2IMF30 System Validation, 2IMN15 Internet of Things, 2IMP40 Empirical Methods in Software Engineering, TBD-VISFM Visualization Foundations and Methods.

Year 2

2IMC05 Preparation Graduation Project

Elective

2IMC00 Master Project

Recommended electives

2IMP15 Software Project Management A1

2IMC10 Internship

2IMS10 Physical Aspects of Digital Security A1

2IMA50 Algorithms for Collective Decision Making A2

2IMF25 Automated Reasoning B2,B3

2IMA25 Exact Algorithms for NP-hard Problems C2

2IMS25 Principles of Data Protection C2

2IMN10 Architecture of Distributed Systems D

2AMI10 Foundations of Process Mining D2

2IMI00, 2IMV00 Seminar ^[1]

2IMP45 Software Threat Analysis: Build-it, Break-it, Fix-it

2IMA35 Massively Parallel Algorithms A1

2IMF35 Algorithms for Model Checking A1

2IMA15 Geometric Algorithms B2,B3

2IMN20 Real-Time Systems C

2IMV10 Visual Computing Project C

2DMI20 Software Security C2

2AMI20 Advanced Process Mining D1

2IMP10 Program Verification Techniques D1

2IMD00, 2IMM00, 2IMU00 Seminar ^[1] D2

2IMS20 Cyberattacks Crime and Defenses E1

2IMP60 Human-Computer Interaction E2

TBD-FNDAI Foundations of AI (CSE/ES)

2IMF15 Proving with Computer Assistance A1,E2

2AMM15 Deep Learning 1 B

2IMD20 Language Virtual Machines Design and Implementation B

2IMS30 Wireless IoT Security B

2IMN25 Quantitative Evaluation of Cyber Physical Systems B1,B2

2IMV15 Simulation in Computer Graphics C

2AMV10 Visual Analytics C2

2IMV30 Interactive Visualization D1

2AMD15 Big Data Management D2

2IMN45 Edge Computing D2

2IMA20 Algorithms for Geovisualization

+ Visualization & Computer Graphics

2IMP25 Software Evolution E1

2IMS40 Intrusion Detection Laboratory E1

2IMS15 Verification of Security Protocols E2

2AMD20 Knowledge Engineering B1

2IMA30 Topological Data Analysis B2

2AMM10 Deep Learning 2 C1

2IMA00, 2IMF00, 2IMN00, 2IMP00, 2IMS00 Seminar ^[1]

2IMS50 Introduction to Quantum Computing and Security D1

2IMP20 Domain Specific Language Design D2

2IMF10 Concurrency Theory E1

2IMN40 Approximate Computing E2

2IMS60 Provable Security E2

[1] 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 Cybersecurity.

Algorithms Data Engineering Formal Methods Resource-Constrained Systems Software Engineering Visualization & Computer Graphics

Export as .xlsx Export as .png Export as .png (with electives) Export electives as .png