Software Engineering and Formal Methods (clusters: SET, FSA)

Scheme

Year 1

Q1

Q2

Q3

Q4

2IMF25 Automated Reasoning B2,B3

2IMF30 System Validation C1

2IMN10 Architecture of Distributed Systems D

2IMP10 Program Verification Techniques D1

2IMF35 Algorithms for Model Checking A1

Elective

2IMF15 Proving with Computer Assistance A1,E2

2IMP25 Software Evolution E1

Elective

2IMF10 Concurrency Theory E1

2IMP20 Domain Specific Language Design D2

Choose one of 2IMP00 Seminar SET or 2IMF00 Seminar FSA

Year 2

Q1

Q2

Q3

Q4

Elective

2IMC05 Preparation Graduation Project

Elective

2IMC00 Master Project

Recommended electives

Q1

Q2

Q3

Q4

2IMP15 Software Project Management A1

2IMS10 Physical Aspects of Digital Security A1

2AMM20 Research Topics in Data Mining B1,B2

2IMP40 Empirical Methods in Software Engineering E1

2IMP60 Human-Computer Interaction E2

SFC640 Writing for the Sciences

2IMD20 Language Virtual Machines Design and Implementation B

2IMS15 Verification of Security Protocols E1,E2

2IMP30 System Design Engineering A2,A3

2IMS55 Quantum Protocols D1

Algorithms and Theory Architecture and Systems Software and Analytics

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

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		2 courses / 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		15 EC / 30 EC
Deepening	pool not chosen yet ("Focus area"); 15 EC over the cap counts elsewhere	15 EC / 15 EC	✓
Seminar		0 courses / 1 course
Graduation project		40 EC / 40 EC	✓
Total		90 / 120 EC

Entries (12)

Year	Quarter	Requirement	Course	Credits
1	Q1	Foundational - Algorithms and Theory	`2IMF25` Automated Reasoning	5 EC
1	Q1	Foundational - Architecture and Systems	`2IMF30` System Validation	5 EC
1	Q1	Deepening	`2IMN10` Architecture of Distributed Systems	5 EC
1	Q2	Deepening	`2IMF35` Algorithms for Model Checking	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	Deepening	`2IMP25` Software Evolution	5 EC
1	Q4	Foundational - Algorithms and Theory	Choose one of 2IMP00 Seminar SET or 2IMF00 Seminar FSA	5 EC
1	Q4	Deepening	`2IMF10` Concurrency Theory	5 EC
1	Q4	Deepening	`2IMP20` Domain Specific Language Design	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	Q2	1
1	Q3	1
2	Q1	3
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
2IMD20 — Language Virtual Machines Design and Implementation	Q3
2IMS10 — Physical Aspects of Digital Security	Q1
2AMM20 — Research Topics in Data Mining	Q1
2IMP40 — Empirical Methods in Software Engineering	Q2
2IMP60 — Human-Computer Interaction	Q2
2IMS15 — Verification of Security Protocols	Q3
2IMP05 — Capita Selecta Software Engineering and Technology
2IMP30 — System Design Engineering	Q4
2IMP15 — Software Project Management	Q1-Q2
SFC640 — Writing for the Sciences	Q2
2IMS55 — Quantum Protocols	Q4