Course 
Course title 
Extend of
teaching 
Comple
tion 
Seme
ster 
Recomm.
sem. 
Cre
dits 
Instruc
tor 
Cat. 
MIROZ 
Pattern Recognition 
2P+1C 
Z,ZK 
Z 
1 
4 

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

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

18104 
MIKRY 
Advanced Cryptology 
2P+1C 
Z,ZK 
Z 
1 
4 

18106 
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 

18101 
MITS1 
Theoretical Seminar Master I 
2C 
Z 
Z 

4 

18101 
MIPAL 
Advanced Algorithms 
2P+1C 
Z,ZK 
L 
2 
4 

18101 
MIAVY 
Automata in Text Pattern Matching 
2P+1C 
Z,ZK 
L 
2 
4 

18101 
MIGEN 
Code Generators 
2P+1C 
Z,ZK 
L 
2 
4 

18101 
MIFLP 
Functional and Logical Programming 
2P+1C 
Z,ZK 
L 
2 
4 

18101 
MIPDB 
Advanced Database Systems 
2P+1C 
Z,ZK 
L 
2 
4 

18102 
MIDZO 
Digital Image Processing 
2P+1C 
Z,ZK 
L 
2 
4 

18102 
MIFME 
Formal Methods and Specifications 
2P+1C 
Z,ZK 
L 
2 
4 

18102 
MIBHW 
Security and Hardware 
2P+2C 
Z,ZK 
L 
2 
4 

18103 
MIPAP 
Parallel Computer Architectures 
2P+1C 
Z,ZK 
L 
2 
4 

18104 
MIRRI 
Risk Management in Informatics 
2P 
ZK 
L 
2 
3 

18104 
MIBPS 
Wireless Computer Networks 
2P+1C 
Z,ZK 
L 
2 
4 

18104 
MIMSI 
Mathematical Structures in Computer Science 
2P+1C 
Z,ZK 
L 
2 
4 

18105 
MIMPR 
Master Project 

Z 
Z,L 
3 
7 

18000 
MICPX 
Complexity Theory 
3P+1C 
Z,ZK 
Z 
3 
5 

18101 
MIRUB 
Programming in Ruby 
3C 
KZ 
Z 
3 
4 

18102 
MIPSL 
Programming in Scala 
2P+1C 
Z,ZK 
L 
3 
4 

18102 
MISWE 
Semantic Web 
2P+1C 
Z,ZK 
Z 
3 
4 

18102 
MITSP 
Testing and Reliability 
2P+2C 
Z,ZK 
Z 
3 
4 

18103 
MIMCS 
Multicore Systems 
1P+2C 
KZ 
Z 
3 
4 

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

18104 
MIATH 
Combinatorial Theories of Games 
2P+2C 
Z,ZK 
L 
4 
4 

18101 
MIPAM 
Efficient Preprocessing and Parameterized Algorithms 
2P+1C 
Z,ZK 
L 
4 
4 

18101 
MIDSP 
Database Systems in Practes 
2P+1C 
Z,ZK 
L 
4 
4 

18102 
MIIOT 
Internet of Things 
2P+1C 
Z,ZK 
L 
4 
4 

18104 
MIMAI 
Multimedia and Internet 
2P+1C 
Z,ZK 
L 
4 
3 

18104 
MIVYC 
Computability 
2P+2C 
Z,ZK 
L 
4 
4 

18105 
MIGLR 
Games and reinforcement learning 
2P+2C 
Z,ZK 
L 
4 
4 

18105 
MIIKM 
Internet and Classification Methods 
1P+1C 
Z,ZK 
L 
4 
4 

18105 
MIDNP 
Advanced .NET 
2P+1C 
Z,ZK 
Z 
5 
4 

18102 
MIPRC 
Programming in CUDA 
2P+1C 
Z,ZK 
L 
6 
4 

18104 
