Informace o projektu
Modelování, analýza a verifikace (2026)
- Kód projektu
- MUNI/A/1784/2025
- Období řešení
- 1/2026 - 12/2026
- 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.
- Mgr. Paulína Ayaziová
- RNDr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- Florian Sebastian Dorfhuber, M.Sc.
- Nikomidisz Jorgosz Eftimiu, M.Sc.
- prof. RNDr. Petr Hliněný, Ph.D.
- Mgr. Lucia Hradecká
- Mgr. Zuzana Hruška
- RNDr. Jan Jedelský
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- Mgr. Bc. Klára Kubíčková
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Martin Kurečka
- Mgr. Jan Mačák
- RNDr. Juraj Major
- Mgr. Lukáš Málik
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Mgr. Vincent Mihalkovič
- doc. RNDr. Petr Novotný, Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Patrick Ondika
- Ing. Patrik Procházka
- Maximilian Prokop, M.Sc.
- Sabine Rieder, M.Sc.
- Mgr. Martin Skalský
- Mgr. Adam Straka
- prof. RNDr. Jan Strejček, Ph.D.
- Mgr. Jakub Šárník
- prof. RNDr. Jiří Zlatuška, CSc.
Projekt specifického výzkumu si klade za cíl podpořit výzkumné aktivity studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2025 a dále je rozšiřuje. Navrhovaný projekt bude podporovat výzkumnou činnost zúčastněných studentů. Umožní jim vycestovat na zahraniční partnerská pracoviště, mezinárodní konference či absolvovat vhodná školení a letní kurzy 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 a komplexních systémů. S náplní projektu 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 ověřování.
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í: 3
2026
-
Detection of Splicing in Digital Image Forgery
Proceedings on 2026 IEEE International Conference on Image Processing (ICIP), rok: 2026, DOI
-
Edge Case Detection in Automated Driving: Methods, Challenges, and Future Directions
IEEE Transactions on Intelligent Transportation Systems, rok: 2026, ročník: 27, vydání: 9, DOI
-
Shape-Aware Cell Segmentation with Global Cues
IEEE SIGNAL PROCESSING LETTERS, rok: 2026, ročník: 33, vydání: 2026, DOI