Mgr. Jiří Zárevúcky
Programme: FI N-IN Informatics, Master's degree programmeField: FI PDS Parallel and Distributed Systems, master's degree programme, full-time study mode, single-subject
Credits gained
Without recognized courses
89
Incl. recognized courses
143
Grade average and percentile
Grade average
1,3 (Weighted average - All Grades)
The student ranks among
8 % of the best students in the programme
8 % of the best students in the programme
Percentile
8 (only successfully passed studies)
8 (only successfully passed studies)
Autumn 2009 | ||||
Course | Credits | Type of Completion | Evaluation | |
---|---|---|---|---|
FI:PV065 UNIX -- Programming and System Management I | 3 | k (colloquium) | P | 5/2/2014 |
Spring 2010 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:PV077 UNIX -- Programming and System Management II | 3 | k (colloquium) | P | 5/2/2014 |
Autumn 2010 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:MA010 Graph Theory | 5 | zk (examination) | A | 5/2/2014 |
Spring 2011 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IV111 Probability in Computer Science | 6 | zk (examination) | C | 5/2/2014 |
Autumn 2011 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA006 Selected topics on automata theory | 5 | zk (examination) | B | 5/2/2014 |
FI:IV054 Coding, Cryptography and Cryptographic Protocols | 7 | zk (examination) | A | 5/2/2014 |
FI:MA007 Mathematical Logic | 5 | zk (examination) | A | 5/2/2014 |
Spring 2012 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA012 Complexity | 4 | zk (examination) | A | 5/2/2014 |
Autumn 2012 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA040 Modal and Temporal Logics for Processes | 4 | zk (examination) | A | 5/2/2014 |
FI:IA101 Algorithmics for Hard Problems | 4 | zk (examination) | A | 5/2/2014 |
FI:PA150 Advanced Operating Sytems Concepts | 4 | zk (examination) | A | 5/2/2014 |
FI:PV079 Applied Cryptography | zk (examination) | B | 5/2/2014 | |
Spring 2013 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA011 Programming Language Semantics | zk (examination) | B | 5/2/2014 | |
FI:IA158 Real Time Systems | zk (examination) | D | 5/2/2014 | |
FI:IA159 Formal Verification Methods | zk (examination) | D | 5/2/2014 | |
FI:MA009 Algebra II | 4 | zk (examination) | A | 5/2/2014 |
Autumn 2013 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:XX_615040 Algorithms for Model Checking | 5 | zk (examination) | A | 28/2/2014 |
FI:XX_733988 Hacker's Hut | 6 | zk (examination) | C | 28/2/2014 |
FI:XX_788351 Geometric Algorithms | 5 | zk (examination) | A | 28/2/2014 |
FI:XX_788352 Automated Reasoning | 5 | zk (examination) | A | 28/2/2014 |
FI:XX_817963 Architecture of Distributed Systems | 5 | zk (examination) | E | 28/2/2014 |
Spring 2014 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA023 Petri Nets | 4 | zk (examination) | A | 20/5/2014 |
FI:IA167 String algorithms | 6 | zk (examination) | A | 6/6/2014 |
FI:PA039 Supercomputer Architecture and Intensive Computations | 4 | zk (examination) | C | 26/5/2014 |
FI:PA053 Distributed Systems and Middleware | 4 | zk (examination) | B | 16/6/2014 |
FI:PA160 Net-Centric Computing II | 4 | zk (examination) | A | 10/6/2014 |
Autumn 2014 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:IA008 Computational Logic | 6 | zk (examination) | A | 18/12/2014 |
FI:IA014 Advanced Functional Programming | 4 | zk (examination) | A | 12/1/2015 |
FI:IA073 GEB - limits of formal systems | 3 | k (colloquium) | P | 18/12/2014 |
FI:PA193 Secure coding principles and practices | 8 | zk (examination) | B | 19/12/2014 |
FI:SDIPR Diploma Thesis | 5 | z (credit) | - | 2/4/2015 |
Spring 2015 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:SDIPR Diploma Thesis | 10 | z (credit) | Z | 22/6/2015 |
Autumn 2019 | ||||
Course | Credits | Type of Completion | Evaluation | |
FI:SDIPR Diploma Thesis | 10 | z (credit) | Z | 9/12/2019 |
FI:SOBHA Defence of Thesis | SZK (final examination) | D | 3/2/2020 | |
FI:SZMGR State Exam (MSc degree) | SZK (final examination) | D | 3/2/2020 |