RNDr. Martin Jonáš, Ph.D.
Programme: FI N-IN Informatics, Master's degree programmeField: FI TEI Theoretical Informatics, master's degree programme, full-time study mode, single-subject
Credits gained
Without recognized courses
143
Incl. recognized courses
180
Grade average and percentile
Grade average
1,6 (Weighted average - All Grades)
The student ranks among
19 % of the best students in the programme
19 % of the best students in the programme
Percentile
19 (only successfully passed studies)
19 (only successfully passed studies)
| Spring 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
|---|---|---|---|---|
| FI:IA014 Functional Programming | 5 | zk (examination) | B | 10/1/2013 |
| Autumn 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA006 Selected topics on automata theory | 5 | zk (examination) | C | 10/1/2013 |
| FI:IA101 Algorithmics for Hard Problems | 4 | zk (examination) | B | 10/1/2013 |
| FI:MA007 Mathematical Logic | 5 | zk (examination) | C | 10/1/2013 |
| FI:MA010 Graph Theory | 5 | zk (examination) | C | 10/1/2013 |
| Spring 2012 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA011 Programming Language Semantics | 5 | zk (examination) | A | 10/1/2013 |
| FI:IA012 Complexity | 4 | zk (examination) | A | 10/1/2013 |
| FI:IA046 Computability | 4 | zk (examination) | A | 10/1/2013 |
| Autumn 2012 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| PřF:M7150 Category Theory | 4 | zk (examination) | A | 15/1/2013 |
| FI:IA040 Modal and Temporal Logics for Processes | 4 | zk (examination) | A | 20/12/2012 |
| FI:IA066 Introduction to Quantum Computing | 5 | zk (examination) | D | 4/1/2013 |
| FI:IA082 Selected themes of quantum mechanics | 4 | zk (examination) | B | 21/12/2012 |
| FI:IV054 Coding, Cryptography and Cryptographic Protocols | 7 | zk (examination) | B | 11/2/2013 |
| FI:IV107 Bioinformatics I | 4 | zk (examination) | B | 9/1/2013 |
| FI:PA008 Compiler Construction | 5 | zk (examination) | E | 28/1/2013 |
| FI:PA150 Advanced Operating Sytems Concepts | 4 | zk (examination) | A | 3/1/2013 |
| FI:PA159 Net-Centric Computing I | 4 | zk (examination) | C | 21/1/2013 |
| Spring 2013 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| PřF:M2150 Algebra I | 6 | zk (examination) | A | 27/5/2013 |
| FI:IA023 Petri Nets | 4 | zk (examination) | A | 28/5/2013 |
| FI:IA038 Types and Proofs | 5 | zk (examination) | - | 18/11/2013 |
| FI:IA039 Supercomputer Architecture and Intensive Computations | 4 | zk (examination) | B | 11/6/2013 |
| FI:IA062 Randomized Algorithms and Computations | 5 | zk (examination) | A | 19/6/2013 |
| FI:IA159 Formal Verification Methods | 4 | zk (examination) | A | 10/6/2013 |
| FI:IA166 Fixed-Parameter Algorithms | 6 | zk (examination) | - | 19/6/2013 |
| FI:IV022 Design and verification of algorithms | 4 | zk (examination) | A | 20/5/2013 |
| FI:IV123 Future challenges of informatics | 3 | k (colloquium) | P | 1/7/2013 |
| FI:MA009 Algebra II | 4 | zk (examination) | B | 17/6/2013 |
| FI:MA022 Practising Algebra II | 2 | z (credit) | Z | 6/6/2013 |
| FI:PA151 Advanced Computer Networks | 4 | zk (examination) | A | 3/6/2013 |
| Autumn 2013 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FF:CJBB119 Correct Writing for students of disciplines other than Czech | 3 | z (credit) | Z | 8/1/2014 |
| FF:LJBcB07 Classical Mythology | 3 | k (colloquium) | P | 15/1/2014 |
| PřF:F3011 Physics, philosophy and thinking 1 | 2 | k (colloquium) | P | 12/2/2014 |
| PřF:M3150 Algebra II | 6 | zk (examination) | A | 6/1/2014 |
| PřF:M7130 Geometric algorithms | 4 | zk (examination) | A | 28/1/2014 |
| FI:IA067 Informatics Colloquium | 1 | z (credit) | Z | 4/2/2014 |
| FI:PV079 Applied Cryptography | 5 | zk (examination) | B | 16/1/2014 |
| FI:SDIPR Diploma Thesis | 8 | z (credit) | Z | 8/1/2014 |
| Spring 2014 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| PřF:M8190 Number Theoretic Algorithms | 4 | zk (examination) | A | 4/6/2014 |
| FI:IA041 Concurrency Theory | 3 | k (colloquium) | P | 20/5/2014 |
| FI:IA072 Seminar on Concurrency | 3 | k (colloquium) | P | 20/5/2014 |
| FI:MA051 Advanced Graph Theory: Topological | 4 | k (colloquium) | P | 13/5/2014 |
| FI:PA152 Efficient Use of Database Systems | 4 | zk (examination) | A | 29/5/2014 |
| FI:SDIPR Diploma Thesis | 12 | z (credit) | Z | 27/5/2014 |
| FI:SOBHA Defence of Thesis | SZK (final examination) | B | 24/6/2014 | |
| FI:SZMGR State Exam (MSc degree) | SZK (final examination) | A | 24/6/2014 | |