Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X. (SV-FI MAV X.)
- Project Identification
- MUNI/A/1108/2020
- Project Period
- 1/2021 - 12/2021
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Deniz Agaoglu
- Mgr. Michal Ajdarów
- Cem Emre Akbas
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- Onur Cagirici, M.Sc.
- Jacob Cooper
- Sébastien Čagala Hu
- RNDr. Zuzana Ferková
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Marek Chalupa
- Mgr. Miroslav Chodil
- RNDr. David Klaška
- Mgr. Lukáš Korenčik
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Henrich Lauko
- RNDr. Filip Lux
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- RNDr. Jan Mrázek
- Mgr. Anna Pačínková
- Mgr. Samuel Pastva
- Mgr. Filip Pokrývka
- doc. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- Mgr. Eva Šmijáková
- RNDr. Matej Troják
- RNDr. David Wiesner
Projekt je zaměřen na podporu vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU, kteří jsou vedeni zejména těmi školiteli, kteří se účastnili řešení stejnojmenných projektů specifického výzkumu v letech 2010 až 2020. Zaměření navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje a prohlubuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů a dle zaměření i k synergii s výzkumem v centru CERIT. Jedná se 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 stochastický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. Další související oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a/nebo SW prostředků. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě uvedeny a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu". V oblastech uvedených pod označeními A až H pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; E: prof. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, Ph.D., doc. RNDr. Pavel Matula, Ph.D., doc. RNDr. Petr Matula, Ph.D., doc. RNDr. David Svoboda, Ph.D.; G: prof. RNDr. Mojmír Křetínský, CSc., doc. RNDr. Jan Strejček, Ph.D.; H: prof. RNDr. Antonín Kučera, Ph.D.,