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 |