Mgr. Jiří Zárevúcky
učo 359656
![(zavináč/atsign)](/pics/posta/ce98df6ed6729c5ed75fb01c3946dd53Z.gif)
![(tečka/dot)](/pics/posta/98b29dfd4dc9bbee2e50c9dc5513a025T.gif)
![(tečka/dot)](/pics/posta/98b29dfd4dc9bbee2e50c9dc5513a025T.gif)
Studium
Informatika, Fakulta informatiky, 2020 (úspěšně abs., Mgr.) | ||
---|---|---|
Program | FI N-IN Informatika, magisterský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2020 | |
Závěrečná práce | Safety Checkers for Termination Proofs | |
Obor | FI PDS Paralelní a distribuované systémy | |
Výsledky studia |
Informatika, Fakulta informatiky, 2013 (úspěšně abs., Bc.) | ||
---|---|---|
Program | FI B-IN Informatika, bakalářský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2013 | |
Závěrečná práce | Improved VFS design for HelenOS | |
Obor | FI MI Matematická informatika | |
Výsledky studia |
Osobní stránka je zobrazena se souhlasem uživatele: Jiří Zárevúcky, 8. 2. 2023