Mgr. Filip Štefaňák
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
161
Incl. recognized courses
173
PK (initial credits)
12
Grade average and percentile
Grade average
1.18 (Weighted average - All Grades)
The student ranks among
4 % of the best students in the programme
4 % of the best students in the programme
Percentile
4 (only successfully passed studies)
4 (only successfully passed studies)
| Spring 2009 | ||||
| Course | Credits | Type of Completion | Evaluation | |
|---|---|---|---|---|
| FI:IV010 Communication and Parallelism | zk (examination) | B | 31/5/2009 | |
| Spring 2010 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA012 Complexity | zk (examination) | A | 8/6/2010 | |
| FI:IA159 Formal Verification Methods | zk (examination) | A | 3/6/2010 | |
| Autumn 2010 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA006 Selected topics on automata theory | 5 | zk (examination) | A | 4/1/2011 |
| FI:IA040 Modal and Temporal Logics for Processes | 4 | zk (examination) | A | 7/1/2011 |
| FI:IA101 Algorithmics for Hard Problems | 4 | zk (examination) | A | 8/1/2011 |
| FI:IV074 Laboratory of Parallel and Distributed Systems | 2 | z (credit) | Z | 17/12/2010 |
| FI:IV100 Parallel and distributed computations | 4 | zk (examination) | A | 25/1/2011 |
| FI:MA007 Mathematical Logic | 5 | zk (examination) | B | 28/1/2011 |
| FI:MA010 Graph Theory | 5 | zk (examination) | B | 5/1/2011 |
| FI:PA150 Advanced Operating Sytems Concepts | 4 | zk (examination) | A | 19/1/2011 |
| Spring 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:XX_664702 Semantics and Verification - Aalborg University | 19 | zk (examination) | A | 27/9/2011 |
| FI:XX_664703 Professional Communication in Computer Science and Theory of Science - Aalborg University | 2 | z (credit) | Z | 27/9/2011 |
| FI:XX_664704 Software Engineering - Aalborg University | 3 | zk (examination) | B | 27/9/2011 |
| FI:XX_664705 Database Systems - Aalborg University | 3 | zk (examination) | B | 27/9/2011 |
| FI:XX_665114 Software Innovation - Aalborg University | 3 | zk (examination) | A | 27/9/2011 |
| Autumn 2011 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA072 Seminar on Concurrency | 3 | k (colloquium) | P | 12/1/2012 |
| FI:PA159 Net-Centric Computing I | 4 | zk (examination) | A | 19/1/2012 |
| FI:PA165 Enterprise Applications in Java | 6 | zk (examination) | A | 28/3/2012 |
| FI:PV017 Information Technology Security | 4 | zk (examination) | A | 16/1/2012 |
| FI:PV079 Applied Cryptography | 5 | zk (examination) | A | 4/1/2012 |
| ESF:BPE_HOP1 Economic Policy 1 | 4 | zk (examination) | A | 9/1/2012 |
| ESF:BPF_FIU1 Financial Accounting 1 | 8 | zk (examination) | C | 11/1/2012 |
| ESF:BPH_EKOR Corporate Economics | 8 | zk (examination) | C | 25/1/2012 |
| ESF:BPM_STA1 Statistics 1 | 5 | graded credit | A | 16/12/2011 |
| ESF:BPV_VEEK Public Economics | 8 | zk (examination) | A | 10/1/2012 |
| Spring 2012 | ||||
| Course | Credits | Type of Completion | Evaluation | |
| FI:IA011 Programming Language Semantics | 5 | zk (examination) | A | 4/6/2012 |
| FI:IA158 Real Time Systems | 4 | zk (examination) | A | 6/6/2012 |
| FI:MA009 Algebra II | 4 | zk (examination) | A | 15/6/2012 |
| FI:MA022 Practising Algebra II | 2 | z (credit) | Z | 28/5/2012 |
| FI:PA053 Distributed Systems and Middleware | 4 | zk (examination) | A | 17/5/2012 |
| FI:PA160 Net-Centric Computing II | 4 | zk (examination) | A | 14/6/2012 |
| FI:SDIPR Diploma Thesis | 20 | z (credit) | Z | 31/5/2012 |
| FI:SOBHA Defence of Thesis | SZK (final examination) | A | 26/6/2012 | |
| FI:SZMGR State Exam (MSc degree) | SZK (final examination) | A | 26/6/2012 | |