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 |