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