FMT is responsible for the following courses:
Bachelor
OSIRIS | course name | year | kw | teacher(s) |
|---|---|---|---|---|
We Create Identity | B1 | 1... | ||
Pearls of Computer Science | B1 | 1... | ||
Softwaresystemen | B1 | .2.. | ||
Art, Impact and Technology | B1 | ...4 | ||
Honours bachelor (Origins) | B2 | 12.. | ||
Statistics and Analysis | B2 | 1... | ||
Algorithms, Datastructures & Complexity | B2 | .2.. | ||
Intelligent Interaction Design | B2 | .2.. | ||
Honours bachelor (Individual Project) | B2 | ..34 | ||
Discrete Struct. & Efficient Algoritms | B2 | ..3. | ||
Programming paradigms | B2 | ...4 | ||
TCS Design Project | B3 | 1.3. | ||
B3 | .2.4 | |||
Cyber Physical Systems | B3 | .2.. |
Master
OSIRIS | course name | year | kw | teacher(s) |
|---|---|---|---|---|
Capita Selecta Software Technology | M | 1234 | ||
Industrial Software Engineering Project | M | 1234 | ||
Security Verification | M | 1234 | ||
Design of Software Architectures | M | 1... | ||
Modeling & Analysis of Concurrent System | M | 1... | ||
System Validation | M | 1... | ||
Quantitative Evaluation of Embedded Systems | M | .2.. | ||
Software Security | M | .2.. | van der Berg | |
Testing Techniques | M | ..3. | Stoelinga / van der Wal | |
M | ..3. | Hartmanns / Verwer (Delft) | ||
Probabilistic Programming | M | ..3. | ||
Software Science (Parity Games and Program Verification) | M | ..3. | van Dijk / Joosten | |
Advanced Logic | M | ...4 | Bloemen / Joosten | |
Software Evolution | M | ...4 | Serebrenik (TUE) | |
Programming Principles, Patterns, and Processes | M | ...4 | ||
Software Science (Static Analysis and Graph-transformation) | M | ...4 |
Pre master
Professional
OSIRIS | course name | year | kw | teacher(s) |
|---|---|---|---|---|
- | Grondslagen van de informatica | Lerarenopl | 12.. | Fehnker |
- | Risicomanagement | PLD | 1.3. | Stoelinga |