Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX
(SV-FI MAV IX)
- Project Identification
- MUNI/A/1050/2019
- Project Period
- 1/2020 - 12/2020
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- 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.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 37
2022
-
Design and analysis of microworlds and puzzles for block-based programming
Computer Science Education, year: 2022, volume: 32, edition: 1, DOI
2021
-
Symbiotic 6: generating test cases by slicing and symbolic execution
International Journal on Software Tools for Technology Transfer, year: 2021, volume: 23, edition: 6, DOI
2020
-
A benchmark set of highly-efficient CUDA and OpenCL kernels and its dynamic autotuning with Kernel Tuning Toolkit
Future Generation Computer Systems, year: 2020, volume: 108, edition: July, DOI
-
A New Variant of Dynamic Pickup and Delivery Problem with Time Windows
Scheduling and Planning Applications woRKshop (SPARK), year: 2020
-
Adversarial Patrolling with Drones
Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, year: 2020
-
Approximate Counting of Minimal Unsatisfiable Subsets
Computer Aided Verification - 32nd International Conference, CAV 2020, year: 2020
-
Beyond binary correctness: Classification of students’ answers in learning systems
User Modeling and User-Adapted Interaction, year: 2020, volume: 30, edition: 5, DOI
-
Clique-Width of Point Configurations
Graph-Theoretic Concepts in Computer Science, WG 2020, year: 2020
-
Condensed U-Net (CU-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers
IEEE 17th International Symposium on Biomedical Imaging, year: 2020