Informace o projektu
Modelování, analýza a verifikace (2025)
- Kód projektu
- MUNI/A/1600/2024
- Období řešení
- 1/2025 - 12/2025
- 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
- Mgr. Paulína Ayaziová
- Mgr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- 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á
- RNDr. Miroslav Chodil
- Mgr. Daniel Iľkovič
- Mgr. Jan Jedelský
- Mgr. Nastasia Juračková
- 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.
- Mgr. Martin Kurečka
- Mgr. Jan Mačák
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- Mgr. Vincent Mihalkovič
- Shubhang Mittal
- RNDr. Jan Mrázek
- RNDr. Tereza Nečasová
- Mgr. Jakub Novák
- doc. RNDr. Petr Novotný, Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Patrick Ondika
- RNDr. Kristýna Pekárková
- RNDr. Filip Pokrývka, Ph.D.
- Maximilian Prokop, M.Sc.
- Sabine Rieder, M.Sc.
- Mgr. Xichao Shu
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Šafránek, Ph.D.
- RNDr. Eva Šmijáková
- Mgr. Jan Tušil
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-2024 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ě č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, komplexní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 ověřování.
Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a z části Katedry vizuální informatiky