Projekty
Celkový počet projektů: 53
-
Abstrakce a jiné techniky v semi-symbolické verifikaci programů (GA18-02177S)
Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2020Investor/Program: Grantová agentura ČR / Standardní projekty -
Advanced VR, iMmersive serious games and augmented reality as tools to raise awareness and access to European underwater Cultural heritage (727153)
Řešitel na MU: doc. Fotios Liarokapis, PhD Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 11/2016 — 1/2020Investor/Program: Evropská unie / Horizon 2020 -
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2020Investor/Program: Grantová agentura ČR / Standardní projekty -
Aplikovaný výzkum: softwarové architektury kritických infrastruktur, bezpečnost počítačových systémů, zpracování přirozeného jazyka a jazykové inženýrství, vizualizaci velkých dat a rozšířená realita. (MUNI/A/1411/2019)
Řešitel na MU: doc. RNDr. Vlastislav Dohnal, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2020 — 12/2020Investor/Program: Masarykova univerzita / Grantová agentura MU -
Automata for Decision Procedures and Verification (GA19-24397S)
Řešitel na MU: doc. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2019 — 12/2021Investor/Program: Grantová agentura ČR / Standardní projekty -
Automatizace formální verifikace (TH04010192)
Řešitel na MU: doc. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2019 — 12/2021Investor/Program: Technologická agentura ČR / EPSILON -
Benchmarking algoritmů segmentace a sledování buněk (LTC17016)
Řešitel na MU: prof. RNDr. Michal Kozubek, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 8/2017 — 4/2020Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / INTER-EXCELLENCE -
Comprehensive Modelling Platform: Core Modules Development (MUNI/33/01/2019)
Řešitel na MU: doc. RNDr. David Šafránek, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 12/2019 — 8/2020Investor/Program: Masarykova univerzita / Program děkana FI -
Cyber Security for Europe, Cybersecurity Competence Network (830929)
Řešitel na MU: prof. RNDr. Václav Matyáš, M.Sc., Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 2/2019 — 7/2022Investor/Program: Evropská unie / Horizon 2020 -
Diskrétní bifurkační analýza reaktivních systémů (GA18-00178S)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2020Investor/Program: Grantová agentura ČR / Standardní projekty