Projects
Total number of projects: 16
-
Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku (GBP201/12/G028)
MU Researcher: Prof. RNDr. Jiří Rosický, DrSc. MU Faculty or unit: Faculty of Science Project Period: 1/2012 — 12/2018Investor: Czech Science Foundation / Projects to promote excellence in basic research -
Centrum excelence - Institut teoretické informatiky (GBP202/12/G061)
MU Researcher: Prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2012 — 12/2018Investor: Czech Science Foundation / Projects to promote excellence in basic research -
Rényiho entropie v kvantovém zpracování informace (GA16-22211S)
MU Researcher: Assoc. Prof. RNDr. Jan Bouda, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2016 — 12/2018Investor: Czech Science Foundation / Standard Projects -
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (692474)
MU Researcher: Prof. RNDr. Jiří Barnat, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 4/2016 — 3/2019Investor: European Union / Horizon 2020 -
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (8A16002)
MU Researcher: Prof. RNDr. Jiří Barnat, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 4/2016 — 4/2020Investor: Ministry of Education, Youth and Sports of the CR / Joint Technology Initiatives (7H and 8A) -
Algebraic Language Theory for Infinite Trees (GA17-01035S)
MU Researcher: Dr. rer. nat. Achim Blumensath MU Faculty or unit: Faculty of Informatics Project Period: 1/2017 — 12/2019Investor: Czech Science Foundation / Standard Projects -
Structural properties, parameterized tractability and hardness in combinatorial problems (GA17-00837S)
MU Researcher: Prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2017 — 12/2019Investor: Czech Science Foundation / Standard Projects -
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 -
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 -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII. (MUNI/A/0854/2017)
MU Researcher: Prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2018 — 12/2018Investor: Masaryk University / Grant Agency of the Masaryk University