Progression through the study plan
FI IBA Information Security
Name in Czech: Information Security
master's full-time specialized, language of instruction: English
Included in the programme: FI N-PSKB_A Computer Systems, Communication and Security
master's full-time specialized, language of instruction: English
Included in the programme: FI N-PSKB_A Computer Systems, Communication and Security
Semester 1
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IV111 | Probability in Computer Science | zk | 3+2 | P | P |
FI:MA007 | Mathematical Logic | zk | 4+2 | P | P |
FI:MA010 | Graph Theory | zk | 3+2 | P | P |
FI:MA015 | Graph Algorithms | zk | 3+2 | - | P |
FI:MA018 | Numerical Methods | zk | 3+2 | P | P |
FI:MA026 | Advanced Combinatorics | zk | 3+2 | - | P |
FI:PA191 | Advanced Computer Networking | zk | 2+2 | Z | P |
FI:PV181 | Lab Seminar – Practical Exercises in Security and Applied Cryptography | z | 3 | Z | P |
38 credits |
Semester 2
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA008 | Computational Logic | zk | 3+2 | - | P |
FI:IA066 | Introduction to Quantum Computing | zk | 3+2 | - | P |
FI:IA101 | Algorithmics for Hard Problems | zk | 2+2 | Z | P |
FI:IA159 | Formal Methods for Software Analysis | zk | 2+2 | - | P |
FI:IA169 | Model Checking | zk | 3+2 | Z | P |
FI:IV003 | Algorithms and Data Structures II | zk | 4+2 | - | P |
FI:PA193 | Seminar on Secure Coding Principles and Practices | zk | 3+2 | P | P |
FI:PA197 | Secure Network Design | zk | 3+2 | Z | P |
FI:PA211 | Cybersecurity Operations | zk | 3+2 | - | P |
FI:PV204 | Security Technologies | zk | 5+2 | P | P |
FI:PV285 | IoT Security | k | 3+1 | - | P |
FI:PV286 | Secure Coding Principles and Practices | zk | 3+2 | - | P |
60 credits |
Semester 3
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA174 | Fundaments of Cryptography | zk | 3+2 | - | P |
FI:PA018 | Advanced Topics in Information Technology Security | zk | 4+2 | Z | P |
FI:PA164 | Machine Learning and Natural Language Processing | zk | 3+2 | - | P |
FI:PA165 | Enterprise Applications in Java | zk | 3+2 | - | P |
FI:PA192 | Secure Hardware-based System Design | zk | 5+2 | - | P |
FI:PA228 | Machine Learning in Image Processing | zk | 4+2 | - | P |
FI:PV079 | Applied Cryptography | zk | 4+2 | Z | P |
FI:PV179 | System Development in C#/.NET | zk | 3+2 | - | P |
FI:PV197 | GPU Programming | zk | 2+2 | - | P |
FI:PV198 | Onechip Controllers | zk | 3+2 | - | P |
FI:PV248 | Python Seminar | k | 3+1 | - | P |
FI:PV249 | Development in Ruby | k | 3+1 | - | P |
FI:PV260 | Software Quality | zk | 4+2 | - | P |
FI:PV275 | Introduction to Quantum Computer Programming | zk | 3+2 | - | P |
FI:PV284 | Introduction to IoT | k | 3+1 | - | P |
FI:PV288 | Python | z | 2 | - | P |
79 credits |