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
2022
-
General Optimization Framework for Recurrent Reachability Objectives
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022
-
Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), year: 2022
-
Implicit Neural Representations for Generative Modeling of Living Cell Shapes
International Conference on Medical Image Computing and Computer Assisted Intervention, year: 2022
-
Improving ligand transport trajectory within flexible receptor in CaverDock
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, year: 2022
-
Isomorphism Testing for T-graphs in FPT
WALCOM: Algorithms and Computation, year: 2022
-
LART
Year: 2022
-
LART: Compiled Abstract Execution (Competition Contribution)
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, year: 2022
-
Lower bound on the size of a quasirandom forcing set of permutations
COMBINATORICS PROBABILITY & COMPUTING, year: 2022, volume: 31, edition: 2, DOI
-
Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm for Integer Programming
SIAM JOURNAL ON COMPUTING, year: 2022, volume: 51, edition: 3, DOI
-
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022