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