Přejít k obsahu | Přejít k hlavnímu menu | Přejít k vyhledávání

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

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ě.

Cíl udržitelného rozvoje č. 4 – Kvalitní vzdělání

Publikace

Počet publikací: 18

2024

Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info