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
| MBA |
Model-Based Analysis
Exercise in computer lab, Project, Czech, summer, DITS |
| IZLO |
Introduction to Logic for Computer Science
Exercise, Czech, summer, DITS |
| IAM |
Advanced Mathematics
Fundamentals seminar, Lecture, Czech, English, summer, DITS |