All doctoral courses
All FIT doctoral courses are included in this group
| Code | Course name | Language | WINTER SEMESTER | SUMMER SEMESTER | Enrolled in semester | ||||
| Tutor | completion | credits | range | completion | credits | range | |||
| PI-AWR.1 | Academic Writing | ZK | 0 | 2C | B251 | ||||
| PI-VAP | Advanced Computer Architectures | ZK | 4 | 3C | B251, B252 | ||||
| PI-PPA | Advanced Parallel Algorithms | ZK | 4 | 3C | B251, B252 | ||||
| PI-ROZ | Advanced Pattern Recognition | ZK | 4 | 3C | B252 | ||||
| PI-APA | Advanced Program Analysis | English | ZK | 4 | 3C | B251 | |||
| PI-ADH | Algorithms and Data Structures for HPC | Czech | ZK | 4 | 3C | B251, B252 | |||
| PI-ANM | Applied Numerical Mathematics | ZK | 4 | 3C | ZK | 4 | 3C | B252, B251 | |
| PI-ARB | Arbology | ZK | 4 | 3C | ZK | 4 | 3C | B252, B251 | |
| PI-ASP | Architecture of Symbolic Computers | ZK | 4 | 3C | ZK | 4 | 3C | B252, B251 | |
| PI-KP | Communication protocols | ZK | 4 | 3C | B252 | ||||
| PI-AVG | Computational genomics algorithms | ZK | 4 | 2P+1C | B252 | ||||
| PI-CFR | Computer Assisted Formal Reasoning | ZK | 4 | 3C | ZK | 4 | 3C | B251 | |
| PI-BCM | Conceptual Modelling of Behaviour | ZK | 4 | 3C | ZK | 4 | 3C | B252, B251 | |
| PI-AKD | Data Compression Algorithms | ZK | 4 | 3C | B252 | ||||
| PI-ESC | Embeded SeCurity | ZK | 4 | 3C | B252, B251 | ||||
| PI-AJMIN | English Language - Discussion on the Dissertation Thesis | English | ZK | 0 | 0D | ZK | 0 | 0D | B252, B251 |
| PI-EXA | Experimental algorithmics | Czech | ZK | 4 | 2P+1C | B252 | |||
| PI-TGR | Graph Theory | ZK | 4 | 2P+1C | B252, B251 | ||||
| PI-IRT | Information retrieval | ZK | 4 | 3C | B252 | ||||
| PI-NSV | Neural Networks and Computational Intelligence | ZK | 4 | 3C | B252, B251 | ||||
| PI-PRO | Planning in Robotics | ZK | 4 | 3C | B252, B251 | ||||
| PI-PSC | Programmable Circuits and SoC | ZK | 4 | 2P+1C | ZK | 4 | 2P+1C | B252 | |
| PI-KIK | Quantum Information and Quantum Cryptography |
ZK | 4 | 3C | The course is not on the list | ||||
| PI-SPL | Satisfiability and Planning | ZK | 4 | 3C | B252, B251 | ||||
| PI-FME.1 | Seminar on Formal Specifications | ZK | 4 | 3C | ZK | 4 | 3C | B251, B252 | |
| PI-SCN | Seminars on Digital Design | ZK | 4 | 2P+1C | ZK | 4 | 2P+1C | B252 | |
| PI-SWI | Software Engineering | ZK | 4 | 3C | B252 | ||||
| PI-STR | Stringology | ZK | 4 | 3C | B252 | ||||
| PI-SCM | Structural Conceptual Modelling | ZK | 4 | 3C | ZK | 4 | 3C | B252, B251 | |
| PI-TMN | Text Mining | ZK | 4 | 3C | B251 | ||||
| PI-TPL | Type Systems for Programming Languages | English | ZK | 4 | 3C | B252, B251 | |||