Teaching
Consulting hours
After a previous appointment anytime (or you can try to catch me in the office and if is possible, I will try to answer your questions).
Lectured courses
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |
| SLOa |
Complexity (in English)
Lecture, English, summer, DITS |
| TIN |
Theoretical Computer Science
Fundamentals seminar, Project, Seminar, Czech, winter, DITS |
| IOS |
Operating Systems
Lecture, Project, Czech, English, summer, DITS |
| IZLO |
Introduction to Logic for Computer Science
Exercise, Lecture, Project, Czech, summer, DITS |
| MAD |
Selected Chapters on Mathematics
Lecture, Czech, English, summer, DITS |
| FAD |
Formal Program Analysis
Lecture, Czech, English, winter, DITS |
| IAM |
Advanced Mathematics
Exercise in computer lab, Lecture, Czech, English, summer, DITS |