Teaching
Consulting hours
13:00-14:00
Any time after an e-mail agreement.
Guaranteed courses
| IAM | Advanced Mathematics Czech, summer, FIT, DITS |
| IZLO | Introduction to Logic for Computer Science Czech, summer, FIT, DITS |
* Valid data for academic year 2024/2025
Lectured courses
| IAM | Advanced Mathematics Exercise in computer lab, Fundamentals seminar, Lecture, Czech, summer, FIT, DITS |
| IZLO | Introduction to Logic for Computer Science Lecture, Project, Seminar, Czech, summer, FIT, DITS |
| MBA | Model-Based Analysis Lecture, Czech, summer, FIT, DITS |
| MAD | Selected Chapters on Mathematics Lecture, Czech, summer, FIT, DITS |
| TIN | Theoretical Computer Science Lecture, Czech, winter, FIT, DITS |
* Valid data for academic year 2024/2025