Informace o projektu
Modelování, analýza a verifikace (2024)
- Kód projektu
- MUNI/A/1592/2023
- Období řešení
- 1/2024 - 12/2024
- 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. Michal Ajdarów
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- RNDr. Vojtěch Brůža
- Nikomidisz Jorgosz Eftimiu, M.Sc.
- prof. RNDr. Petr Hliněný, Ph.D.
- Mgr. Jiří Horák
- Mgr. Lucia Hradecká
- RNDr. Miroslav Chodil
- Mgr. Daniel Iľkovič
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. David Kuťák
- Ing. Matěj Lang
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Shubhang Mittal
- Mgr. Radoslav Mráz
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Patrick Ondika
- RNDr. Filip Opálený
- RNDr. Kristýna Pekárková
- Hana Pokojná, MSc
- RNDr. Filip Pokrývka
- Mgr. Xichao Shu
- Mgr. Zuzana Schwarzová
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Eva Šmijáková
- Mgr. Adam Štěpánek
- Mgr. Jan Tušil
- Ing. Leonard Walletzký, Ph.D.
- prof. RNDr. Jiří Zlatuška, CSc.
Projekt specifického výzkumu si klade za cíl podpořit výzkumnou činnost studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2023 a dále je rozvíjí. Navrhovaný projekt si klade za cíl podpořit výzkumné aktivity zúčastněných studentů a umožnit jim vycestovat na zahraniční partnerská pracoviště s cílem nabytí nových zkušeností. Zejména 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 a medicínského obrazu, a to včetně nově vyvíjených metod analýzy a jejich validace, a následná nezbytná vizualizace pomáhající k pochopení vnitřních struktur sledovaných dat.
Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a z části Katedry vizuální informatiky
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í: 2
2024
-
Cell Tracking based on Integer Linear Programming and Probability Scores
Athens, Greece, IEEE 21th International Symposium on Biomedical Imaging, rok: 2024
-
COMPYDA: An online tool for verifying the similarity of image datasets
21st IEEE International Symposium on Biomedical Imaging, rok: 2024