Teaching
Lectured courses
| IOS |
Operating Systems
Project, Czech, English, summer, DITS |
| IUS |
Introduction to Software Engineering
Fundamentals seminar, Project, Czech, English, winter, DITS |
| IZLO |
Introduction to Logic for Computer Science
Exercise, Project, Czech, summer, DITS |
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |