FMT is responsible for or involved in the following courses in the 2025-2026 academic year:
Bachelor
OSIRIS | Course | Year | Q. | Teachers |
|---|---|---|---|---|
Databases, Operating Systems and Networks | 1 B-BIT | 1... | ||
Data Science & AI | 1-TCS |
| ||
Diamonds of Computer Science | 1-TCS | 1... | ||
Foundations of Create - Introduction to Computer Science and Programming | 1-CR | 1... | ||
Internship TCS | 12.. | |||
Design Project | 3-TCS | 1.3. | Langerak (coordinator) | |
Software Systems | 1-TCS | .2.. | ||
Cyber-Physical Systems | 3-TCS | .2.. | ||
Research Project | 3-TCS | .2.4 | ||
Hands-on AI - Programming for AI | 2-CR | ..3. | ||
Discrete Structures & Efficient Algorithms | 2-TCS | ..3. | ||
Data & Information | 1-TCS | ...4 | ||
Programming Paradigms | 2-TCS | ...4 | ||
Art, Impact and Technology | 1-CR | ...4 | Gerhold (coordinator) |
Master
SIRIS | Course | Q. | Teachers |
|---|---|---|---|
Capita Selecta Software Technology | 1234 | ||
Final Project | 1234 | ||
Research Topics | 1234 | ||
Security Verification | 1234 | ||
Data Science | 123. | ||
Green Software Development | 1... | ||
Interactive Theorem Proving | 1... | ||
Modeling and Analysis of Concurrent Systems | 1... | ||
System Validation | 1... | ||
Industrial Software Engineering Project | 12.. | ||
BB for Sustainable Computing Systems | .2.. | ||
Design of Software Architectures | .2.. | ||
Graph Algorithms and Complexity | .2.. | ||
Software Security | .2.. | ||
Quantitative Evaluation of Systems | ..3. | ||
Probabilistic Programming | ..3. | ||
Program Verification (Software Science) | ..3. | ||
Software Testing and Risk Assessment | ..3. | ||
Software Evolution | ...4 | ||
Advanced Logic | ...4 | ||
Model Checking and Parity Games (Software Science) | ...4 | ||
Explainable AI | ...4 |
Professional
OSIRIS | Course | Q. | Teachers |
|---|---|---|---|
12.. | |||
Accelerate NS, an in-company-programme for Dutch Railways (NS) | .23. | ||
1.3. |