Teaching
Supervised courses
IAN | Binary Code Analysis Czech, summer, FIT |
FAD | Formal Program Analysis Czech, winter, FIT |
BPC-OSY | Operating Systems Czech, summer, FEEC, FIT |
IOS | Operating Systems Czech, summer, FIT |
ILI | Advanced Topics of Linux Administration Czech, winter, FIT |
SAV | Static Analysis and Verification Czech, winter, FIT |
* Valid data for academic year 2020/2021
Lectured courses
BPC-OSY | Operating Systems Lecture, Czech, summer, FEEC, FIT |
* Valid data for academic year 2020/2021