prof. Ing.
Tomáš Vojnar
Ph.D.
FIT, VZ VERIFIT – vedoucí pracovní skupiny
+420 54114 1202
vojnar@fit.vut.cz
Výuka
Konzultační hodiny
Po dohodě emailem.
Garantované předměty
| IAN | Analýza binárního kódu Česky, letní, FIT, UITS |
| FAD | Formální analýza programů Česky, zimní, FIT, UITS |
| ILI | Pokročilá témata administrace operačního systému Linux Česky, zimní, FIT, UITS |
| SAV | Statická analýza a verifikace Česky, zimní, FIT, UITS |
* Údaje platné pro aktuální akademický rok 2024/2025
Vyučované předměty
| FAD | Formální analýza programů Přednáška, Česky, zimní, FIT, UITS |
| SAV | Statická analýza a verifikace Přednáška, Česky, zimní, FIT, UITS |
| TIN | Teoretická informatika Seminář, Česky, zimní, FIT, UITS |
| MAD | Vybrané kapitoly z matematiky Přednáška, Česky, letní, FIT, UITS |
* Údaje platné pro aktuální akademický rok 2024/2025