Informace o projektu
Modelování, analýza a verifikace (2023) (MAV-2023)

Informace

Projekt nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Kód projektu

MUNI/A/1081/2022

Období řešení

1/2023 - 12/2023

Investor / Programový rámec / typ projektu

Masarykova univerzita

Specifický výzkum - podpora studentských projektů

Fakulta / Pracoviště MU

Fakulta informatiky

doc. RNDr. David Svoboda, Ph.D.
RNDr. Deniz Agaoglu Cagirici, Ph.D.
RNDr. Michal Ajdarów
Cem Emre Akbas
Mgr. Jakub Balabán
prof. RNDr. Jiří Barnat, Ph.D.
Ing. Dávid Bolvanský
prof. RNDr. Luboš Brim, CSc.
Nikomidisz Jorgosz Eftimiu, M.Sc.
prof. RNDr. Petr Hliněný, Ph.D.
Mgr. Lucia Hradecká
Bc. Ondřej Huvar
RNDr. Miroslav Chodil
Mgr. Daniel Iľkovič
Mgr. Marek Jankola
Mgr. Jan Jedelský
RNDr. David Klaška
prof. RNDr. Michal Kozubek, Ph.D.
prof. RNDr. Daniel Kráľ, Ph.D., DSc.
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
prof. RNDr. Antonín Kučera, Ph.D.
RNDr. Henrich Lauko, Ph.D.
RNDr. Filip Lux
Mgr. Tomáš Macháček
doc. RNDr. Martin Maška, Ph.D.
doc. RNDr. Petr Matula, Ph.D.
Aleksandra Melnikova
Mgr. Vincent Mihalkovič
Shubhang Mittal
Mgr. Radoslav Mráz
RNDr. Jan Mrázek
Bc. Daniel Múčka
RNDr. Tereza Nečasová
RNDr. Petra Němcová
Mgr. Jakub Novák
doc. Mgr. Jan Obdržálek, PhD.
Mgr. et Mgr. Jaroslav Oľha
Mgr. Patrick Ondika
Mgr. Anna Pačínková, Ph.D.
RNDr. Kristýna Pekárková
RNDr. Filip Pokrývka, Ph.D.
Maximilian Prokop, M.Sc.
Mgr. Xichao Shu
Mgr. Zuzana Schwarzová
RNDr. Viktória Spišaková
RNDr. Eva Šmijáková
RNDr. Matej Troják, Ph.D.
Mgr. Jan Tušil
RNDr. David Wiesner, Ph.D.

Cílem projektu je podpora vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2022 a dále je rozvíjí. Navrhovaný projekt si klade za cíl podpořit VaV aktivity zúčastněných studentů a dle zaměření i spolupráci s průmyslovými partnery v centru CERIT. Zejmená se jedná 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 náhodný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. S biologií je rovněž úzce spjata další výzkumná oblast, jíž je analýza biomedicínského obrazu, a to včetně nově vyvíjených metod analýzy a jejich validace. Výzkum v této oblasti je na aplikační úrovni provázán na využívání rozsáhlých výpočetních systémů (cloud-computing) a moderních paralelních architektur (GPGPU computing a multi GPU computing).

Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a dvou výzkumných skupin: CBIA (analýza biomedicínského obrazu) a SITOLA (intenzitní výpočty v rozsáhlých sítích).

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í: 28

2023

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

BERGOUGNOUX Benjamin GAJARSKÝ Jakub GUSPIEL Grzegorz Jan HLINĚNÝ Petr POKRÝVKA Filip SOKOŁOWSKI Marek

Článek ve sborníku

ISAAC 2023, rok: 2023
Stack and Queue Numbers of Graphs Revisited

HLINĚNÝ Petr STRAKA Adam

Článek ve sborníku

European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23, rok: 2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

Článek ve sborníku

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
Temporary and Permanent Control of Partially Specified Boolean Networks

BRIM Luboš PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

Článek v odborném periodiku

BIOSYSTEMS, rok: 2023, ročník: 223, vydání: JAN, DOI
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics

MRÁZEK Jan ONDIKA Patrick ČERNÁ Ivana BARNAT Jiří

Článek ve sborníku

2023 IEEE International Conference on Robotics and Automation (ICRA), rok: 2023
The Cell Tracking Challenge: 10 years of objective benchmarking

MAŠKA Martin ULMAN Vladimír DELGADO-RODRIGUEZ Pablo GÓMEZ-DE-MARISCAL Estibaliz NEČASOVÁ Tereza PENA Fidel A Guerrero REN Tsang Ing MEYEROWITZ Elliot M SCHERR Tim LÖFFLER Katharina MIKUT Ralf GUO Tianqi WANG Yin ALLEBACH Jan P BAO Rina AL-SHAKARJI Noor M RAHMON Gani TOUBAL Imad Eddine PALANIAPPAN Kannappan LUX Filip MATULA Petr SUGAWARA Ko MAGNUSSON Klas E G AHO Layton COHEN Andrew R ARBELLE Assaf BEN-HAIM Tal RAVIV Tammy Riklin ISENSEE Fabian JÄGER Paul F MAIER-HEIN Klaus H ZHU Yanming EDERRA Cristina URBIOLA Ainhoa MEIJERING Erik CUNHA Alexandre MUNOZ-BARRUTIA Arrate KOZUBEK Michal ORTIZ-DE-SOLÓRZANO Carlos

Článek v odborném periodiku

Nature Methods, rok: 2023, ročník: 20, vydání: 7, DOI
Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar

HLINĚNÝ Petr JEDELSKÝ Jan

Článek ve sborníku

50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), rok: 2023
UNIFORM TURAN DENSITY OF CYCLES

BUCIC Matija COOPER Jacob KRÁĽ Daniel MOHR Samuel CORREIA David Munha

Článek v odborném periodiku

Transactions of the American Mathematical Society, rok: 2023, ročník: 376, vydání: 7, DOI