← CSE — 2026-2027 — Study plans
Foundations of Systems (cluster: FSA)
Scheme
Year 1
Year 2
Recommended electives
Pool choices
This curriculum's requirement groups reference these roles instead of a fixed course collection -- pick which of this version's collections each one means for this plan (e.g. which trajectory is your "major").
Requirements
| Requirement | Detail | Credits | |
|---|---|---|---|
| Foundational - Algorithms and Theory | 1 course / 1 course | ✓ | |
| Foundational - Architecture and Systems | 1 course / 1 course | ✓ | |
| Foundational - Software and Analytics | 1 course / 1 course | ✓ | |
| Free electives | 0 EC / 15 EC | ||
| CSE electives | 20 EC / 30 EC | ||
| Deepening | 15 EC / 15 EC | ✓ | |
| Seminar | 1 course / 1 course | ✓ | |
| Graduation project | 40 EC / 40 EC | ✓ | |
| Total | 95 / 120 EC |
Entries (13)
| Year | Quarter | Requirement | Course | Credits | |
|---|---|---|---|---|---|
| 1 | Q1 | Foundational - Algorithms and Theory | 2IMA10 Advanced Algorithms |
5 EC | |
| 1 | Q1 | Deepening | 2IMF25 Automated Reasoning |
5 EC | |
| 1 | Q1 | Foundational - Architecture and Systems | 2IMF30 System Validation |
5 EC | |
| 1 | Q2 | CSE electives | 2IMF35 Algorithms for Model Checking |
5 EC | |
| 1 | Q2 | CSE electives | 2IMN15 Internet of Things |
5 EC | |
| 1 | Q2 | Foundational - Software and Analytics | 2IMP10 Program Verification Techniques |
5 EC | |
| 1 | Q3 | Deepening | 2IMF15 Proving with Computer Assistance |
5 EC | |
| 1 | Q3 | CSE electives | 2IMN25 Quantitative Evaluation of Cyber Physical Systems |
5 EC | |
| 1 | Q4 | Seminar | 2IMF00 Seminar Formal System Analysis |
5 EC | |
| 1 | Q4 | Deepening | 2IMF10 Concurrency Theory |
5 EC | |
| 2 | Q1 | CSE electives | 2IMN10 Architecture of Distributed Systems |
5 EC | |
| 2 | Q2 | Graduation project | 2IMC05 Preparation Graduation Project |
10 EC | |
| 2 | Q3-Q4 | Graduation project | 2IMC00 Master Project |
30 EC |
Elective slots
Leave a quarter's elective open rather than committing it to a specific course yet -- rendered as a blank "Elective" placeholder in the scheme above, same as the institutional scheme's own elective slots. Doesn't count toward any requirement's credit total; see "Recommended electives" below for options to fill it with.
| Program year | Quarter | Slots | |
|---|---|---|---|
| 1 | Q3 | 1 | |
| 1 | Q4 | 1 | |
| 2 | Q1 | 2 | |
| 2 | Q2 | 1 |
Recommended electives
Reference list of good elective options for this plan's open elective slots above -- purely informational, not tied to a specific slot and not counted toward any requirement's credit total. A recommendation with a quarter also appears in its own "Recommended electives" block in the Scheme above, right after Year 1 and Year 2.
| Recommendation | Quarter | |
|---|---|---|
| 2IMA25 — Exact Algorithms for NP-hard Problems | Q1 | |
| 2AMI10 — Foundations of Process Mining | Q1 | |
| 2IMN20 — Real-Time Systems | Q2 | |
| 2IMA35 — Massively Parallel Algorithms | Q2 | |
| 2IMD20 — Language Virtual Machines Design and Implementation | Q3 | |
| SFC640 — Writing for the Sciences | Q2 | |
| 2IMS15 — Verification of Security Protocols | Q3 | |
| 2IMN30 — Machine Learning for Industry | Q3 | |
| 2IMP25 — Software Evolution | Q3 | |
| 5LIM0 — Parallelization, compilers and platforms | Q3 | |
| 2IMP20 — Domain Specific Language Design | Q4 | |
| 2IMP30 — System Design Engineering | Q4 | |
| 2IMS55 — Quantum Protocols | Q4 |