prof. Ing.
Tomáš Vojnar
Ph.D.
FIT, RG VERIFIT – Chairman of Workgroup
+420 54114 1202
vojnar@fit.vut.cz
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 |
| SAV | Static Analysis and Verification Czech, winter, FIT, DITS |
* Valid data for academic year 2024/2025
Lectured courses
| FAD | Formal Program Analysis Lecture, Czech, winter, 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 Seminar, Czech, winter, FIT, DITS |
* Valid data for academic year 2024/2025