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

FAD	Formální analýza programů Česky, zimní, FIT, UITS

IOS	Operační systémy Č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 2024/2025

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