prof. Ing.

Tomáš Vojnar

Ph.D.

FIT, VZ VERIFIT – vedoucí pracovní skupiny

+420 54114 1202
vojnar@fit.vut.cz

Výuka

Po dohodě emailem.

IAN	Analýza binárního kódu Česky, letní, 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 2025/2026

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

MAD	Vybrané kapitoly z matematiky Přednáška, Česky, letní, FIT, UITS

* Údaje platné pro aktuální akademický rok 2025/2026