Detail projektu

Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů

Období řešení: 30. 1. 2009 - 31. 12. 2012

Typ projektu: grant

Kód: GD102/09/H042

Agentura: Grantová agentura České republiky

Program: Doktorské granty

Název anglicky
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
Typ
grant
Klíčová slova

příprava vybraných špičkových doktorandů, spolehlivost a bezpečnost, paralelní a distribuované systémy, matematické a inženýrské přístupy

Abstrakt

Základním záměrem projektu je vytvořit mimořádný program přípravy vybraných špičkových doktorandů z FIT VUT a FI MU v Brně, a to v rámci řešení aktuálních vědeckých problémů spolehlivosti a bezpečnosti paralelních a distribuovaných systémů jako jednoho z klíčových výzkumných témat současné informatiky. V tomto kontextu projekt zahrnuje studium komplexního spektra problémů od návrhu spolehlivých výpočetních platforem, přes problematiku bezpečnosti, po metody automatické verifikace výpočetních systémů. Složitost zde řešených problémů vyžaduje kombinaci exaktních matematických postupů s heuristickými inženýrskými přístupy, což je v projektu umožněno unikátním spojením školitelů a doktorandů působících v technicky i univerzitně orientovaných odvětvích. Mimo komplexní a mezioborový přístup je pak dalším klíčovým aspektem nadstandardní výchovy doktorandů v projektu jejich intenzivní zapojení do mezinárodních aktivit, založené na vynikajících zahraničních kontaktech členů vedení projektu. Celková kvalita projektu je garantována dlouholetými výzkumnými a výchovnými zkušenostmi navrhovatelů.

Řešitelé
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , hlavní řešitel
Bouda Jan, doc. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Černá Ivana, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , spoluřešitel
Gruska Jozef, Prof. RNDr., DrSc. (FI MUNI) , spoluřešitel
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT) , spoluřešitel
Holub Petr, RNDr., Ph.D. (FI MUNI) , spoluřešitel
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , spoluřešitel
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Kučera Antonín, prof. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Matyáš Václav, prof. RNDr., M.Sc., Ph.D. (FI MUNI) , spoluřešitel
Matyska Luděk, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Bartoš Václav, Ing. (UPSY FIT VUT)
Dolíhal Luděk, Ing. (UIFS FIT VUT)
Drahošová Michaela, Ing., Ph.D. (UPSY FIT VUT)
Dudka Vendula, Ing. (UITS FIT VUT)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Husár Adam, Ing., Ph.D., MBA (VCIT FIT VUT)
Jurnečka Peter, Ing. (UITS FIT VUT)
Konečný Filip, Ing. (UITS FIT VUT)
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT)
Koutný Jiří, Ing. (UIFS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Mikušek Petr, Ing. (UPSY FIT VUT)
Pospíchal Petr, Ing. (UPSY FIT VUT)
Přikryl Zdeněk, Ing., Ph.D. (UIFS FIT VUT)
Samek Jan, Ing., Ph.D. (UITS FIT VUT)
Straka Martin, Ing., Ph.D. (UPSY FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Publikace

2013

2012

2011

2010

2009

Produkty

2012

2010

2009

Nahoru