Mgr. Jan Mrázek
e‑mail: |
---|
Projects
-
CyberSecurity, CyberCrime and Critical Information Infrastructures Center of Excellence (CZ.02.1.01/0.0/0.0/16_019/0000822)
MU Researcher: Roman Čermák, M.Sc., MBA MU Faculty or unit: Institute of Computer Science Project Period: 4/2018 — 12/2022Investor: Ministry of Education, Youth and Sports of the CR / Operational Programme Research, Development and Education -
Modulární distribuovaná robotická platforma (MUNI/FR/0970/2017)
MU Researcher: prof. RNDr. Ivana Černá, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2018 — 12/2018Investor: Masaryk University / MU Development Fund -
Rozšíření DiOSu, interního operačního systému verifikačního nástroje DIVINE (MUNI/33/01/2017)
MU Researcher: RNDr. Petr Ročkai, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 4/2017 — 3/2018Investor: Masaryk University / FI Dean's Programme -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0992/2016)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2017 — 12/2017Investor: Masaryk University / Grant Agency of Masaryk University -
Příprava podkladů pro nový předmět Pokročilé programování v C++ (MUNI/FR/1540/2015)
MU Researcher: RNDr. Nikola Beneš, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2016 — 12/2016Investor: Masaryk University / MU Development Fund -
Rozšíření nástroje DIVINE pro verifikaci vstupně-výstupně otevřených programů (MUNI/33/15/2015)
MU Researcher: prof. RNDr. Jiří Barnat, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2015 — 11/2016Investor: Masaryk University / FI Dean's Programme