prof. Ing.

Tomáš Vojnar

Ph.D.

FIT, RG VERIFIT – Chairman of Workgroup

+420 54114 1202
vojnar@fit.vut.cz

Send BUT message

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

Teaching

Consulting hours

To be fixed individually via email.

Guaranteed courses

ILIAdvanced Topics of Linux Administration
Czech, winter, FIT, DITS
IANBinary Code Analysis
Czech, summer, FIT, DITS
FADFormal Program Analysis
Czech, winter, FIT, DITS
IOSOperating Systems
Czech, summer, FIT, DITS
SAVStatic Analysis and Verification
Czech, winter, FIT, DITS

* Valid data for academic year 2024/2025

Lectured courses

FADFormal Program Analysis
Lecture, Czech, winter, FIT, DITS
MADSelected Chapters on Mathematics
Lecture, Czech, summer, FIT, DITS
SAVStatic Analysis and Verification
Lecture, Czech, winter, FIT, DITS
TINTheoretical Computer Science
Seminar, Czech, winter, FIT, DITS

* Valid data for academic year 2024/2025