Informace o projektu
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
- Kód projektu
- GD102/05/H050
- Období řešení
- 4/2005 - 12/2008
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- souběžnost, verifikace, modelování, kvantové výpočty, diskrétní matematika
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Cílem projektu je vytvoření kvalitativně nového typu výchovy doktorandů, který odpovídá současným mezinárodním trendům. Projekt je zaměřen na vysoce aktuální oblast paralelních a distribuovaných systémů. Počítá se zapojením 18 velmi perspektivních doktorandů ročně. Při vytváření nové kvality bude využito jak bohatých vědeckých, aplikačních a výchovných zkušeností týmu školitelů, tak již vybudované struktury laboratoří, existujících systémů seminářů a bohatých mezinárodních kontaktů. Těžištěm nového přístupu je důraz na kooperativní a mezinárodní charakter výchovy dokotrandů, týmovou práci v laboratořích a zapojení studentů do mezinárodních doktorandských aktivit. Projekt počítá s propojením výzkumných skupin, které v současné době existují na Fakultě informatiky MU v Brně, na Přírodovědecké fakultě MU v Brně a na Fakultě informačních technologií VUT v Brně. Kombinuje se tak základní a aplikovaný výzkum, který je na těchto institucích realizován. Pro výchovu studentů DSP již byly vytvořeny dobré podmínky (včetně technického a přístrojového vybavení). Cílem projektu je posunout tuto kvalitu o další stupeň výše a dostat se tak na úroveň špičkových mezinárodních vědecko-výzkumných center.
Výsledky
Vybudovat prostředí pro vědeckou přípravu studentů DSP v informatice, které by dlouhodobě garantovalo výchovu špičkových odborníků pro akademickou i průmyslovou sféru.
Publikace
Počet publikací: 80
2005
-
Component-Interaction Automata for Specification and Verification of Component Interactions
IFM 2005 Doctoral Symposium on Integrated Formal Methods, rok: 2005
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, rok: 2005
-
CRC64 Algorithm Analysis and Verification
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, rok: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, rok: 2005
-
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), rok: 2005
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), rok: 2005
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Rok: 2005, počet stran: 224 s.
-
Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)