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 |
Laboratory exercises
SLOa |
Complexity (in English)
English, summer semester, DITS FIT BUT |
IUS |
Introduction to Software Engineering
Czech, winter semester, DITS FIT BUT |
MBA |
Model-Based Analysis
Czech, summer semester, DITS FIT BUT |
IOS |
Operating Systems
Czech, summer semester, DITS FIT BUT |
IPS |
Programming Seminar
Czech, winter semester, DITS FIT BUT |
MSP |
Statistics and Probability
Czech, winter semester, DM OSO FME BUT |
TIN |
Theoretical Computer Science
Czech, winter semester, DITS FIT BUT |
TINe |
Theoretical Computer Science (in English)
English, summer semester, DITS FIT BUT |