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
Lecture, Seminar, Czech, English, summer, DCGM |
| IZLO |
Introduction to Logic for Computer Science
Exercise, Czech, summer, DITS |
| MBA |
Model-Based Analysis
Exercise in computer lab, Czech, summer, DITS |
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |