### RNDr. Martin Jonáš, Ph.D.

**Programme:**FI N-IN Informatics, Master's degree programme

**Field:**FI TEI Theoretical Informatics, master's degree programme, full-time study mode, single-subject

Number of credits gained (without those gained for the courses recognized):

**143**

Number of credits gained (including the ones gained for the courses recognized):

**180**

Grade average:

**1,6**(Weighted average - All Grades)

Ranks among the best

**19 per cent**of students (of the same degree programme) as regards the reached average.

Percentile used for Diploma Supplement of FI MU, which has been calculated from the averages of completed programmes of study: 19

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 |