Teaching
Consulting hours
Can be arranged via email (imacak@fit.vut.cz) or Discord (fpmk).
Lectured courses
IKK |
Circle Consultations
Fundamentals seminar, Czech, winter, DCGM |
MBA |
Model-Based Analysis
Exercise in computer lab, Czech, summer, DITS |
MSP |
Statistics and Probability
Fundamentals seminar, Czech, winter, IM DSO |
TINe |
Theoretical Computer Science (in English)
Lecture, English, summer, DITS |