Výuka
Vyučované předměty
| IOS |
Operační systémy
Projekt, česky, anglicky, letní, UITS |
| IUS |
Úvod do softwarového inženýrství
Cvičení odborného základu, Projekt, česky, anglicky, zimní, UITS |
| IZLO |
Základy logiky pro informatiky
Cvičení, Projekt, česky, letní, UITS |
| SAV |
Statická analýza a verifikace
Přednáška, česky, zimní, UITS |