Výuka
Konzultační hodiny
Po dohodě emailem.
Garantované předměty
| IAN |
Analýza binárního kódu
čeština, angličtina, letní, UITS |
| ILI |
Pokročilá témata administrace operačního systému Linux
čeština, angličtina, zimní, UITS |
| SAV |
Statická analýza a verifikace
čeština, zimní, UITS |
Vyučované předměty
| FAD |
Formální analýza programů
Přednáška, čeština, angličtina, zimní, UITS |
| MAD |
Vybrané kapitoly z matematiky
Přednáška, čeština, angličtina, letní, UITS |
| SAV |
Statická analýza a verifikace
Přednáška, čeština, zimní, UITS |