Informace o projektu

Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.

Kód projektu	MUNI/A/1159/2014 CEP CORDIS MU WEB INET MU
Doba řešení	01.01.2015–31.12.2015
Stav	ukončený
Investor	Masarykova univerzita
Program	Grantová agentura MU
Řešitel za FI	prof. RNDr. Mojmír Křetínský, CSc.
Členové realizačního týmu za FI	prof. RNDr. Luboš Brim, CSc. Ing. Jana Hozzová, Ph.D. RNDr. Martin Jonáš, Ph.D. Ing. Eva Výtvarová RNDr. Jan Papoušek, Ph.D. Mgr. Petr Sloup RNDr. Martin Demko, Ph.D. Mgr. Karolína Malá Mgr. Slávek Licehammer RNDr. Jiří Řihák, Ph.D. Mgr. Juraj Nižnan Mgr. Ľuboš Korenčiak, Ph.D. Mgr. Petr Bauch, Ph.D. RNDr. František Blahoudek, Ph.D. RNDr. Mária Svoreňová, Ph.D. RNDr. Ondrej Moriš RNDr. Ing. Bc. Tomáš Majtner, Ph.D. RNDr. Vít Rusňák, Ph.D. doc. RNDr. Petr Novotný, Ph.D. RNDr. Jan Fousek, Ph.D. RNDr. Jakub Gajarský, Ph.D. RNDr. Matej Pivoluska, Ph.D. Mgr. Karel Štěpka, Ph.D. Mgr. Matej Klement prof. RNDr. Petr Hliněný, Ph.D. RNDr. David Sehnal, Ph.D. RNDr. Pavel Troubil, Ph.D. RNDr. Roman Stoklasa, Ph.D. RNDr. Petr Ročkai, Ph.D. RNDr. Peter Bezděk, Ph.D. doc. Mgr. Radek Pelánek, Ph.D. doc. RNDr. Pavel Matula, Ph.D. prof. RNDr. Jan Strejček, Ph.D. prof. RNDr. Jiří Barnat, Ph.D. prof. RNDr. Jozef Gruska, DrSc. prof. RNDr. Michal Kozubek, Ph.D. doc. RNDr. Petr Matula, Ph.D. doc. Mgr. Hana Rudová, Ph.D. prof. RNDr. Antonín Kučera, Ph.D. prof. RNDr. Ivana Černá, CSc. prof. RNDr. Luděk Matyska, CSc. doc. RNDr. Eva Hladká, Ph.D. prof. RNDr. Mojmír Křetínský, CSc.

Anotace

Projekt je zaměřen na podporu výzkumné a vývojové činnosti studentů programů doktorského a magisterského studia, kteří jsou vedeni převážně školiteli, kteří participovali na stejnojmenných projektech specifického výzkumu řešených na FI MU v letech 2010 až 2014. Problematika navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje 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 budovanému 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ů, robotických systémů, komunikačních protokolů a dalších, přírodně motivovaných systémů, zejména biologických a fyzikálních (kvantové výpočty a analýzy jejich vlastností). 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ů. Tyto oblasti jsou na aplikační úrovni často provázány na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, např. typu CUDA, GPGPU (General Purpose Graphic Processing Unit) a many-core GPU. 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ím A až K pracují tito školitelé - akademičtí zaměstnanci FI MU: A: doc. RNDr. Jiří Barnat, PhD.; B: prof. RNDr. Luboš Brim, CSc.; C: prof. RNDr. Ivana Černá, CSc.; D: prof. RNDr. Jozef Gruska, DrSc;. E: prof. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, PhD. doc. RNDr. Pavel Matula, PhD, doc. RNDr. Petr Matula, PhD; G: prof. RNDr. Mojmír Křetínský, CSc. doc. RNDr. Jan Strejček, PhD; H: prof. RNDr. Antonín Kučera, PhD.; I: prof. RNDr. Luděk Matyska, CSc.doc. RNDr. Eva Hladká, PhD; J: doc. Mgr. Radek Pelánek, PhD.; K: doc. Mgr. Hana Rudová, Ph.D.

Zpět na seznam investorů