prof. Ing.

Tomáš Vojnar

Ph.D.

FIT, RG VERIFIT – Chairman of Workgroup

+420 54114 1202
vojnar@fit.vut.cz

Send BUT message

Teaching

Consulting hours

To be fixed individually via email.

Guaranteed courses

ILI	Advanced Topics of Linux Administration Czech, winter, FIT, DITS

IAN	Binary Code Analysis Czech, summer, FIT, DITS

FAD	Formal Program Analysis Czech, winter, FIT, DITS

IOS	Operating Systems Czech, summer, FIT, DITS

SAV	Static Analysis and Verification Czech, winter, FIT, DITS

* Valid data for academic year 2023/2024

Lectured courses

FAD	Formal Program Analysis Lecture, Czech, winter, FIT, DITS

IOS	Operating Systems Lecture, Czech, summer, FIT, DITS

MAD	Selected Chapters on Mathematics Lecture, Czech, summer, FIT, DITS

SAV	Static Analysis and Verification Lecture, Czech, winter, FIT, DITS

TIN	Theoretical Computer Science Fundamentals seminar, Lecture, Seminar, Czech, winter, FIT, DITS

* Valid data for academic year 2023/2024