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 |
| SAV |
Static Analysis and Verification
Czech, winter, DITS |
Lectured courses
| FAD |
Formal Program Analysis
Lecture, Czech, English, winter, DITS |
| MAD |
Selected Chapters on Mathematics
Lecture, Czech, English, summer, DITS |
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |