← Curricula

ES — 2026-2027

Scheme

Year 1

Q1
Q2
Q3
Q4
2IMF30 System Validation C1
2IMN20 Real-Time Systems C
5SIA0 Embedded computer architecture A2
2IMN25 Quantitative Evaluation of Cyber Physical Systems B1,B2
5LIB0 Embedded systems laboratory B

Year 2

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

Recommended electives

Q1
Q2
Q3
Q4
5LIC0 Networked embedded systems
+ Cyber-Physical Systems
A
2IMF25 Automated Reasoning
+ Embedded Software, Embedded Networking
B2,B3
2IMN10 Architecture of Distributed Systems
+ Embedded Networking, Cyber-Physical Systems
D
5CSA0 Modeling dynamics D
2IMF35 Algorithms for Model Checking A1
5LIG0 Applied combinatorial algorithms
+ Embedded Software, Cyber-Physical Systems
B1
2IMNT1 Embedded Computer Architectures 2 B2,B3
2DMI20 Software Security C2
2IMP10 Program Verification Techniques D1
5LIH0 Digital integrated circuit: design
+ Embedded Networking
E
2IMS20 Cyberattacks Crime and Defenses E1
2IMN15 Internet of Things
+ Cyber-Physical Systems
E1,E2
5LIE0 Multiprocessors
+ Embedded Software, Cyber-Physical Systems
A1
5LIM0 Parallelization, compilers and platforms
+ Embedded Software, Cyber-Physical Systems
A2
2IMS30 Wireless IoT Security B
5SIB0 Electronic design automation
+ Embedded Networking, Cyber-Physical Systems
B2
5LIL0 Intelligent architectures
+ Embedded Software, Cyber-Physical Systems
C2
2IMN45 Edge Computing D2
2IMP25 Software Evolution
+ Cyber-Physical Systems
E1
5LIJ0 Embedded control systems
+ Embedded Software, Cyber-Physical Systems
E1
2IMS15 Verification of Security Protocols E1,E2
2IMP30 System Design Engineering
+ Embedded Networking, Cyber-Physical Systems
A2,A3
2IMP00 Seminar Software Engineering and Technology B1
2IMF00 Seminar Formal System Analysis
+ Embedded Software, Embedded Networking
C1
2IMN00 Seminar Interconnected Resource-aware Intelligent Systems (IRIS)
+ Embedded Networking
D
5LIK0 Embedded signal processing systems
+ Embedded Networking, Cyber-Physical Systems
D1
2IMP20 Domain Specific Language Design
+ Cyber-Physical Systems
D2
2IMN40 Approximate Computing
+ Embedded Software, Cyber-Physical Systems
E2
5LIA0 Embedded visual control
+ Embedded Networking, Cyber-Physical Systems
5LID0 Systems on silicon
+ Embedded Networking
Systems on Chip Embedded Software Embedded Networking Cyber-Physical Systems
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