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
FAD |
Formal Program Analysis
Lecture, Czech, English, winter, UITS |
MAD |
Selected Chapters on Mathematics
Guided consultation in combined form of studies, Lecture, Czech, English, summer, UITS |
SAV |
Static Analysis and Verification
Lecture, Czech, winter, UITS |
IAM |
Advanced Mathematics
Exercise in computer lab, Fundamentals seminar, Lecture, Czech, English, summer, UITS |
IDM |
Discrete Mathematics
Computer-assisted exercise, Lecture, Czech, English, winter, UMAT |
IOS |
Operating Systems
Lecture, Czech, English, summer, UITS |
SLOa |
Complexity (in English)
Lecture, English, summer, UITS |
TIN |
Theoretical Computer Science
Fundamentals seminar, Project, Czech, winter, UITS |