This list presents courses whose teaching is supported by the employees of the department Department of Computer Science
course code sort | ordered by:course name ascendingcourse name sort |
| MA051 | Advanced Graph Theory: Topological, in English |
| | Assoc. Prof. RNDr. Petr Hliněný, Ph.D. |
| DPOSO | Advances in Concurrency, in Czech |
| | Prof. RNDr. Luboš Brim, CSc., Prof. RNDr. Ivana Černá, CSc., Prof. RNDr. Mojmír Křetínský, CSc. |
| IB108 | Algorithm Design II, in Czech |
| | Prof. RNDr. Ivana Černá, CSc. seminar tutors: RNDr. Nikola Beneš, RNDr. Petra Budíková |
| IV010 | Communication and Parallelism, in Czech |
| | Prof. RNDr. Luboš Brim, CSc. |
| PV206 | Communication and Soft Skills, in Czech |
| | RNDr. Ing. Tomáš Ludík, Prof. Renate Motschnig, Assoc. Prof. RNDr. Tomáš Pitner, Ph.D. seminar tutors: Mgr. Jiří Kolář, Bc. et Bc. Michael Mládek, Mgr. Lukáš Smiga, Bc. Ján Struhár |
| PA037 | Compiler Project, in Czech |
| | Prof. RNDr. Antonín Kučera, Ph.D. |
| IA012 | Complexity, in Czech |
| | Prof. RNDr. Ivana Černá, CSc. |
| IA046 | Computability, in Czech |
| | Prof. RNDr. Luboš Brim, CSc. |
| IA008 | Computational Logic, in English |
| | Mgr. Ondřej Nečas, Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D. seminar tutors: Mgr. Jana Fabriková, Mgr. Eva Mráková, Ph.D. |
| PB051 | Computational methods in Bioinformatics and Systems Biology, in Czech |
| | Ing. Matej Lexa, Ph.D., RNDr. David Šafránek, Ph.D. seminar tutors: Mgr. Vojtěch Bystrý |
| IV121 | Computer science applications in biology, in Czech |
| | Ing. Matej Lexa, Ph.D., RNDr. David Šafránek, Ph.D. seminar tutors: Mgr. Sven Dražan |
| IA041 | Concurrency Theory, in Czech |
| | Prof. RNDr. Mojmír Křetínský, CSc. |
| IV120 | Continuous and Hybrid Systems, in Czech |
| | Assoc. Prof. RNDr. Jiří Barnat, Ph.D., RNDr. David Šafránek, Ph.D. seminar tutors: Mgr. Jana Fabriková |
| IB109 | Design and Implementation of Parallel Systems, in Czech |
| | Assoc. Prof. RNDr. Jiří Barnat, Ph.D. |
| IB002 | Design of Algorithms I, in Czech |
| | RNDr. Libor Škarvada seminar tutors: Bc. Matúš Goljer, Marek Klučár, Bc. Štěpán Kozák, Mgr. Matúš Madzin, Bc. Josef Pacula, Bc. Tomáš Raček, RNDr. David Svoboda, Ph.D., Bc. Filip Štefaňák, Bc. Jiří Uhlíř |
| DMZDD | Digital Data Processing Methods, in Czech |
| | Assoc. Prof. Ing. Michal Brandejs, CSc., Prof. RNDr. Jiří Hřebíček, CSc., Assoc. Prof. RNDr. Ivan Kopeček, CSc., Prof. RNDr. Václav Matyáš, M.Sc., Ph.D., Assoc. Prof. PhDr. Karel Pala, CSc., Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D., Prof. Ing. Václav Přenosil, CSc., Assoc. Prof. RNDr. Petr Sojka, Ph.D., Prof. Ing. Pavel Zezula, CSc., Prof. RNDr. Jiří Zlatuška, CSc. |
| DPITS | Enterprise IT Systems and Services, in Czech |
| | Assoc. Prof. Ing. Michal Brandejs, CSc., Ing. RNDr. Barbora Bühnová, Ph.D., Prof. RNDr. Jiří Hřebíček, CSc., Prof. Renate Motschnig, Assoc. Prof. RNDr. Tomáš Pitner, Ph.D., RNDr. Zdenko Staníček, Ph.D. |
| IB005 | Formal Languages and Automata I, in Czech |
| | Prof. RNDr. Mojmír Křetínský, CSc. seminar tutors: Assoc. Prof. RNDr. Jiří Barnat, Ph.D., RNDr. Jan Strejček, Ph.D. |
| DFOME | Formal Methods in Theory and Practice, in Czech |
| | Prof. RNDr. Luboš Brim, CSc., Prof. RNDr. Ivana Černá, CSc., Assoc. Prof. RNDr. Petr Hliněný, Ph.D., Prof. RNDr. Mojmír Křetínský, CSc., Prof. RNDr. Antonín Kučera, Ph.D., Ing. Matej Lexa, Ph.D. |
| IA159 | Formal Verification Methods, in English |
| | RNDr. Jan Strejček, Ph.D. |