Faculty of Information Technology, BUT

Prof. Ing.

Tomáš Vojnar

Ph.D.

Professor

+420 54114-1202
vojnar@fit.vut.cz
Office A215

Teaching

Consulting hours

To be fixed individually via email.

Lecture courses

FAD Formal Program Analysis
Czech, winter semester, DITS FIT BUT
IOS Operating Systems
Czech, summer semester, DITS FIT BUT
SAV Static Analysis and Verification
Czech, winter semester, DITS FIT BUT
TIN Theoretical Computer Science
Czech, winter semester, DITS FIT BUT

Laboratory exercises

TIN Theoretical Computer Science
Czech, winter semester, DITS FIT BUT
Back to top