MSc Computer Engineering
| Semester | Subject | Code | Lecture | Practice | Laboratory | Credit |
|---|---|---|---|---|---|---|
| 1 | Formal Methods | VIMIMA26 | 3 | 5 | ||
| 1 | Machine Learning | VIMIMA27 | 2 | 1 | 5 | |
| 2 | Software and Systems Verification | VIMIMA01 | 2 | 1 | 4 | |
| 3 | Intelligent Data Analysis and Decision Support | VIMIMB09 | 2 | 1 | 5 | |
| 3 | Trustworthy AI and Data Analysis | VIMIMB10 | 2 | 1 | 5 |
BME-MIT