Teaching
Lecture courses
| ATA |
Automated Testing and Dynamic Analysis
Czech, summer semester, DITS FIT BUT |
| SLOa |
Complexity (in English)
English, summer semester, DITS FIT BUT |
| MBA |
Model-Based Analysis
Czech, summer semester, DITS FIT BUT |
| IPS |
Programming Seminar
Czech, winter semester, DITS FIT BUT |
| SMT |
Seminar of Mathematical Structures
Czech, winter semester, DITS FIT BUT |
Laboratory exercises
| SLOa |
Complexity (in English)
English, summer semester, DITS FIT BUT |
| IUS |
Introduction to Software Engineering
Czech, winter semester, DITS FIT BUT |
| IOS |
Operating Systems
Czech, summer semester, DITS FIT BUT |
| IPS |
Programming Seminar
Czech, winter semester, DITS FIT BUT |
| SMT |
Seminar of Mathematical Structures
Czech, winter semester, DITS FIT BUT |
| TIN |
Theoretical Computer Science
Czech, winter semester, DITS FIT BUT |
| TINe |
Theoretical Computer Science (in English)
English, summer semester, DITS FIT BUT |