Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.
(SV-FI MAV XI.)
- Project Identification
- MUNI/A/1145/2021
- Project Period
- 1/2022 - 12/2022
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Deniz Agaoglu Cagirici, Ph.D.
- RNDr. Michal Ajdarów
- Cem Emre Akbas
- prof. RNDr. Jiří Barnat, Ph.D.
- Ing. Dávid Bolvanský
- prof. RNDr. Luboš Brim, CSc.
- Jacob Cooper, Ph.D.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Miroslav Chodil
- RNDr. David Klaška
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Henrich Lauko, Ph.D.
- RNDr. Filip Lux
- Mgr. Juraj Major
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- Aleksandra Melnikova
- Mgr. Radoslav Mráz
- RNDr. Jan Mrázek
- RNDr. Petra Němcová
- Mgr. Jiří Novotný
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Anna Pačínková, Ph.D.
- Mgr. Michal Pajtinka
- RNDr. Samuel Pastva, Ph.D.
- RNDr. Kristýna Pekárková
- Mgr. Filip Petrovič
- RNDr. Filip Pokrývka, Ph.D.
- RNDr. Viktória Spišaková
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. David Střelák, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Eva Šmijáková
- RNDr. Matej Troják, Ph.D.
- RNDr. David Wiesner, Ph.D.
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ž 2020. 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ů a dalších i 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ž H pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; E: prof. RNDr. Petr Hliněný, Ph.D.; 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.; I: prof. RNDr. Luděk Matyska, CSc., doc. RNDr. Eva Hladká, 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: 35
2023
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, year: 2023, volume: 158, edition: 1, DOI
-
Efficient Isomorphism for Sd-Graphs and T-Graphs
ALGORITHMICA, year: 2023, volume: 85, edition: 2, DOI
-
Segmentation and Tracking of Mammary Epithelial Organoids in Brightfield Microscopy
IEEE Transactions on Medical Imaging, year: 2023, volume: 42, edition: 1, DOI
-
Symbiotic-Witch 2
Year: 2023
2022
-
AEON.py: Python library for attractor analysis in asynchronous Boolean networks
BIOINFORMATICS, year: 2022, volume: 38, edition: 21, DOI
-
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Logical Methods in Computer Science, year: 2022, volume: 18, edition: 1, DOI
-
DivSIM , an interactive simulator for LLVM bitcode
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, year: 2022, volume: 24, edition: 3, DOI
-
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
20th International Conference on Computational Methods in Systems Biology, year: 2022
-
Exploring attractor bifurcations in Boolean networks
BMC Bioinformatics, year: 2022, volume: 23, edition: 173, DOI
-
Federated learning enables big data for rare cancer boundary detection
Nature Communications, year: 2022, volume: 13, edition: 7346, DOI