Course 
Course title 
Extend of
teaching 
Comple
tion 
Seme
ster 
Recomm.
sem. 
Cre
dits 
Instruc
tor 
Cat. 
MIESWT 
Software Testing 
2P+1C 
Z,ZK 
L 
0 
5 

18102 
MINNS 
Numeration systems in SageMath 
1+1 
Z 
Z 
0 
2 

18105 
MIEEVY 
Efficient Text Pattern Matching 
2P+1C 
Z,ZK 
Z 
1 
4 

18101 
MIESYP 
Parsing and Compilers 
2P+1C 
Z,ZK 
Z 
1 
4 

18101 
MIEROZ 
Pattern Recognition 
2P+1C 
Z,ZK 
Z 
1 
4 
Haindl M. 
18101 
MIEVMW 
Retrieval of Multimedia Content on the Web 
2P+1C 
KZ 
Z 
1 
4 
Novák J. 
18102 
MIEMDW 
Web Services and Middleware 
2P+1C 
Z,ZK 
Z 
1 
4 

18102 
MIENFA 
Design for the FPGA and ASIC Technology 
2P+1C 
Z,ZK 
Z 
1 
4 

18103 
MIEMAS 
System Modeling and Analysis 
2+1 
Z,ZK 
Z 
1 
4 

18103 
MIEMTI 
Modern Internet Technologies 
2P+1C 
Z,ZK 
Z 
1 
4 

18104 
MIEPDD 
Data Preprocessing 
2P+1C 
Z,ZK 
Z 
1 
4 

18105 
MIEKRY 
Advanced Cryptology 
2P+2C 
Z,ZK 
Z 
1 
4 

18106 
MIELCF 
Compiling system LLVM 

Z,ZK 
Z 

4 

18101 
MITS3 
Theoretical Seminar Master III 
2C 
Z 
Z 

4 

18101 
MITS2 
Theoretical Seminar Master II 
2C 
Z 
L 

4 

18101 
MITS4 
Theoretical Seminar Master IV 
2C 
Z 
L 

4 
Suchý O., Valla T. 
18101 
MITS1 
Theoretical Seminar Master I 
2C 
Z 
Z 

4 
Suchý O., Valla T. 
18101 
MIEPAL 
Advanced Algorithms 
2P+1C 
Z,ZK 
L 
2 
4 

18101 
MIEAVY 
Automata in Text Pattern Matching 
2P+1C 
Z,ZK 
L 
2 
4 
Guth O., Melichar B. 
18101 
MIEGEN 
Code Generators 
2P+1C 
Z,ZK 
L 
2 
4 
Janoušek J. 
18101 
MIEKOD 
Data Compression 
2P+1C 
Z,ZK 
L 
2 
4 
Holub J. 
18101 
MIEFLP 
Functional and Logical Programming 
2P+1C 
Z,ZK 
L 
2 
4 
Kolář J. 
18101 
MIEPDB 
Advanced Database Systems 
2P+1C 
Z,ZK 
L 
2 
4 

18102 
MIEPIS 
Advanced Information Systems 
2P+1C 
Z,ZK 
L 
2 
4 

18102 
MIEDDW 
Web Data Mining 
2P+1C 
Z,ZK 
L 
2 
4 
Dojčinovski M. 
18102 
MIEW20 
Web 2.0 
2P+1C 
Z,ZK 
L 
2 
4 
Dojčinovski M., Vitvar T. 
18102 
MIEAAK 
Arithmetics and Codes 
2P+1C 
Z,ZK 
L 
2 
4 

18103 
MIEPOA 
Advanced Computer System Architectures 
2P+1C 
Z,ZK 
L 
2 
4 

18104 
MIEPAP 
Parallel Computer Architectures 
2P+1C 
Z,ZK 
L 
2 
4 

18104 
MIEBPS 
Wireless Computer Networks 
2P+1C 
Z,ZK 
L 
2 
4 
Černý V., Moucha A. 
18104 
MIEBHW 
Security and Hardware 
2P+1C 
Z,ZK 
L 
2 
4 

18106 
MIECPX 
Complexity Theory 
3P+1C 
Z,ZK 
Z 
3 
5 
Kučera L. 
18101 
MIELOM 
Linear Optimization and Methods 
2P+1C 
Z,ZK 
Z 
3 
4 

18101 
MIENON 
Nonlinear Continuous Optimization and Numerical Methods 
2P+1C 
Z,ZK 
Z 
3 
4 

18101 
MIERUN 
Runtime Systems 
2P+1C 
Z,ZK 
Z 
3 
4 

18101 
MIMPR 
Master Project 

Z 
Z,L 
3 
7 

18102 
MIESWE 
Semantic Web and Linked Data 
2P+1C 
Z,ZK 
Z 
3 
4 

18102 
MIENUR 
User Interface Design 
2P+1C 
Z,ZK 
Z 
3 
4 

18102 
MIEARI 
Computer Arithmetic 
2P+1C 
Z,ZK 
Z 
3 
4 
Kubalík P. 
18103 
MIESIM 
Digital Circuit Simulation 
2P+1C 
Z,ZK 
Z 
3 
4 

18103 
MIESOC 
Systems on Chip 
2P+1C 
Z,ZK 
Z 
3 
4 

18103 
MIETSP 
Testing and Reliability 
2P+2C 
Z,ZK 
Z 
3 
4 

18103 
MIEDSV 
Distributed Systems and Computing 
2P+1C 
Z,ZK 
Z 
3 
4 

18104 
MIEBPR 
Security and Secure Programming 
2P+1C 
Z,ZK 
Z 
3 
4 

18104 
MIEMVI 
Computational Intelligence Methods 
2P+1C 
Z,ZK 
Z 
3 
4 

18105 
MIESIB 
Network Security 
2P+1C 
Z,ZK 
Z 
3 
4 

18106 
MINSS 
Normalized Software Systems 
2+0 
ZK 
L 
4 
3 

18102 
MIGLR 
Games and reinforcement learning 
2P+2C 
Z,ZK 
L 
4 
4 
Maldonado Lopez J. 
18105 
MIEMKY 
Mathematics for Cryptology 
3P+1C 
Z,ZK 
L 
4 
4 

18105 
