prof. Ing.

Tomáš Vojnar

Ph.D.

Supervisor

+420 54114 1202
vojnar@fit.vut.cz
A215 Office
2491/BUT personal ID

Teaching

Consulting hours

To be fixed individually via email.

Guaranteed courses

ILI Advanced Topics of Linux Administration
Czech, English, winter, DITS
IAN Binary Code Analysis
Czech, English, summer, DITS
FAD Formal Program Analysis
Czech, English, winter, DITS
IOS Operating Systems
Czech, English, summer, DITS
SAV Static Analysis and Verification
Czech, winter, DITS

Lectured courses

SAV Static Analysis and Verification
Lecture, Czech, winter, DITS
TIN Theoretical Computer Science
Seminar, Czech, winter, DITS
MAD Selected Chapters on Mathematics
Lecture, Czech, English, summer, DITS
FAD Formal Program Analysis
Lecture, Czech, English, winter, DITS
Back to top