Teaching
Consulting hours
Wednesday, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
Thursday, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
Lectured courses
| IAM |
Advanced Mathematics
Fundamentals seminar, Lecture, Czech, English, summer, DITS |
| IVS |
Practical Aspects of Software Design
Seminar, Czech, English, summer, DCGM |
| IZLO |
Introduction to Logic for Computer Science
Exercise, Czech, summer, DITS |
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |