Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX
(SV-FI MAV IX)
- Kód projektu
- MUNI/A/1050/2019
- Období řešení
- 1/2020 - 12/2020
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Mojmír Křetínský, CSc.
- Cem Emre Akbas
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. Jaroslav Bendík, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- Onur Cagirici, M.Sc., Ph.D.
- Jacob Cooper, Ph.D.
- RNDr. Jaroslav Čechák, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Martin Demko, Ph.D.
- RNDr. Tomáš Effenberger, Ph.D.
- RNDr. Zuzana Ferková, Ph.D.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Filip Lux
- Mgr. Juraj Major
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- Mgr. Stanislav Murín
- Mgr. Zoltán Orémuš
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Filip Pokrývka
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Tomáš Raček, Ph.D.
- RNDr. Lukáš Ručka
- doc. Mgr. Hana Rudová, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Vladimír Štill, Ph.D.
- RNDr. Matej Troják, Ph.D.
- RNDr. Bc. Dominik Velan, Ph.D.
- RNDr. David Wiesner, Ph.D.
- RNDr. Michal Zima
Projekt je zaměřen na podporu vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU, kteří jsou vedeni zejména těmi školiteli, kteří se účastnili řešení stejnojmenných projektů specifického výzkumu v letech 2010 až 2018. Zaměření navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje a prohlubuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů a dle zaměření i k synergii s výzkumem v centru CERIT. Jedná se o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména stochastických systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů, robotických systémů, komunikačních protokolů a dalších, přírodně motivovaných systémů, zejména biologických. Další související oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a/nebo SW prostředků. Výzkum v těchto oblastech je na aplikační úrovni často provázán na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, zejména typu CUDA, GPGPU (General Purpose Graphic Processing Unit) a many-core GPU. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě uvedeny a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu". V oblastech uvedených pod označeními A až M pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; C: prof. RNDr. Ivana Černá, CSc.; E: prof. RNDr. Petr Hliněný, Ph.D. prof. RNDr. Daniel Kráľ, Ph.D.,DSc, doc. Dr.rer.nat. Achim Blumensath; F: prof. RNDr. Michal Kozubek, Ph.D., doc. RNDr. Pavel Matula, Ph.D., doc. RNDr. Petr Matula, Ph.D., doc. RNDr. David Svoboda, Ph.D.; G: prof. RNDr. Mojmír Křetínský, CSc., doc. RNDr. Jan Strejček, Ph.D.; H: prof. RNDr. Antonín Kučera, Ph.D., doc. RNDr. Tomáš Brázdil, Ph.D.; I: prof. RNDr. Luděk Matyska, CSc., doc. RNDr. Eva Hladká, Ph.D.; J: doc. Mgr. Radek Pelánek, Ph.D.; K: doc. Mgr. Hana Rudová, Ph.D.; M: doc. RNDr. Luboš Popelínský, CSc.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 37
2020
-
DG: Analysis and Slicing of LLVM Bitcode
The 18?? International Symposium on Automated Technology for Verification and Analysis, rok: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI
-
eBCSgen: A Software Tool for Biochemical Space Language
18th International Conference on Computational Methods in Systems Biology, CMSB 2020, rok: 2020
-
Efficient Analysis of VASS Termination Complexity
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
9th International Workshop on Static Analysis and Systems Biology (SASB), rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Rok: 2020, druh: Další prezentace na konferencích
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
PLOS ONE, rok: 2020, ročník: 15, vydání: 9, DOI
-
Exploiting historical data: Pruning autotuning spaces and estimating the number of tuning steps
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, rok: 2020, ročník: 32, vydání: 21, DOI
-
Exploration of the Robustness and Generalizability of the Additive Factors Model
Proceedings of the 10th International Conference on Learning Analytics and Knowledge, rok: 2020
-
Exploring Protein Folding Space with Neural Network Guided Simulations
MODELLING AND SIMULATION 2020, rok: 2020