prof. Ing.

Tomáš Vojnar

Ph.D.

FIT, VZ VERIFIT – vedoucí pracovní skupiny

+420 54114 1202
vojnar@fit.vut.cz

Odeslat VUT zprávu

prof. Ing. Tomáš Vojnar, Ph.D.

Výuka

Konzultační hodiny

Po dohodě emailem.

Garantované předměty

IANAnalýza binárního kódu
Česky, letní, FIT, UITS
FADFormální analýza programů
Česky, zimní, FIT, UITS
IOSOperační systémy
Česky, letní, FIT, UITS
ILIPokročilá témata administrace operačního systému Linux
Česky, zimní, FIT, UITS
SAVStatická analýza a verifikace
Česky, zimní, FIT, UITS

* Údaje platné pro aktuální akademický rok 2023/2024

Vyučované předměty

FADFormální analýza programů
Přednáška, Česky, zimní, FIT, UITS
IOSOperační systémy
Přednáška, Česky, letní, FIT, UITS
SAVStatická analýza a verifikace
Přednáška, Česky, zimní, FIT, UITS
TINTeoretická informatika
Cvičení odborného základu, Přednáška, Seminář, Česky, zimní, FIT, UITS
MADVybrané kapitoly z matematiky
Přednáška, Česky, letní, FIT, UITS

* Údaje platné pro aktuální akademický rok 2023/2024