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
CourseCreditsType of CompletionEvaluation
FI:IA014 Functional Programming5zk (examination) 10/1/2013
Autumn 2011
CourseCreditsType of CompletionEvaluation
FI:IA006 Selected topics on automata theory5zk (examination) 10/1/2013
FI:IA101 Algorithmics for Hard Problems4zk (examination) 10/1/2013
FI:MA007 Mathematical Logic5zk (examination) 10/1/2013
FI:MA010 Graph Theory5zk (examination) 10/1/2013
Spring 2012
CourseCreditsType of CompletionEvaluation
FI:IA011 Programming Language Semantics5zk (examination) 10/1/2013
FI:IA012 Complexity4zk (examination) 10/1/2013
FI:IA046 Computability4zk (examination) 10/1/2013
Autumn 2012
CourseCreditsType of CompletionEvaluation
PřF:M7150 Category Theory4zk (examination) 15/1/2013
FI:IA040 Modal and Temporal Logics for Processes4zk (examination) 20/12/2012
FI:IA066 Introduction to Quantum Computing5zk (examination) 4/1/2013
FI:IA082 Selected themes of quantum mechanics4zk (examination) 21/12/2012
FI:IV054 Coding, Cryptography and Cryptographic Protocols7zk (examination) 11/2/2013
FI:IV107 Bioinformatics I4zk (examination) 9/1/2013
FI:PA008 Compiler Construction5zk (examination) 28/1/2013
FI:PA150 Advanced Operating Sytems Concepts4zk (examination) 3/1/2013
FI:PA159 Net-Centric Computing I4zk (examination) 21/1/2013
Spring 2013
CourseCreditsType of CompletionEvaluation
PřF:M2150 Algebra I6zk (examination) 27/5/2013
FI:IA023 Petri Nets4zk (examination) 28/5/2013
FI:IA038 Types and Proofs5zk (examination) 18/11/2013
FI:IA039 Supercomputer Architecture and Intensive Computations4zk (examination) 11/6/2013
FI:IA062 Randomized Algorithms and Computations5zk (examination) 19/6/2013
FI:IA159 Formal Verification Methods4zk (examination) 10/6/2013
FI:IA166 Fixed-Parameter Algorithms6zk (examination) 19/6/2013
FI:IV022 Design and verification of algorithms4zk (examination) 20/5/2013
FI:IV123 Future challenges of informatics3k (colloquium) 1/7/2013
FI:MA009 Algebra II4zk (examination) 17/6/2013
FI:MA022 Practising Algebra II2z (credit) 6/6/2013
FI:PA151 Advanced Computer Networks4zk (examination) 3/6/2013
Autumn 2013
CourseCreditsType of CompletionEvaluation
FF:CJBB119 Correct Writing for students of disciplines other than Czech3z (credit) 8/1/2014
FF:LJBcB07 Classical Mythology3k (colloquium) 15/1/2014
PřF:F3011 Physics, philosophy and thinking 12k (colloquium) 12/2/2014
PřF:M3150 Algebra II6zk (examination) 6/1/2014
PřF:M7130 Geometric algorithms4zk (examination) 28/1/2014
FI:IA067 Informatics Colloquium1z (credit) 4/2/2014
FI:PV079 Applied Cryptography5zk (examination) 16/1/2014
FI:SDIPR Diploma Thesis8z (credit) 8/1/2014
Spring 2014
CourseCreditsType of CompletionEvaluation
PřF:M8190 Number Theoretic Algorithms4zk (examination) 4/6/2014
FI:IA041 Concurrency Theory3k (colloquium) 20/5/2014
FI:IA072 Seminar on Concurrency3k (colloquium) 20/5/2014
FI:MA051 Advanced Graph Theory: Topological4k (colloquium) 13/5/2014
FI:PA152 Efficient Use of Database Systems4zk (examination) 29/5/2014
FI:SDIPR Diploma Thesis12z (credit) 27/5/2014
FI:SOBHA Defence of Thesis SZK (final examination) 24/6/2014
FI:SZMGR State Exam (MSc degree) SZK (final examination) 24/6/2014

RNDr. Martin Jonáš, Ph.D.