Teaching
Lectured courses
| IZLO |
Introduction to Logic for Computer Science
Exercise, Czech, summer, DITS |
| TIN |
Theoretical Computer Science
Fundamentals seminar, Seminar, Czech, winter, DITS |