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
2006
-
Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
Rok: 2006, druh: Účelové publikace
-
Quality of Service Oriented Active Router Design
Proceedings of MIPRO 2006 / Hypermedia and Grid Systems, rok: 2006
-
Refining Undecidability Border of Weak Bisimilarity.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), rok: 2006
-
Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications
ICT 2006, 13th International Conference on Telecommunications, rok: 2006
-
Routing, L2 Addressing, and Packet Filtering in a Hardware Engine
Proceedings of MEMICS 2006, rok: 2006
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
Weakly Extended Process Rewrite Systems
Rok: 2006, druh: Další prezentace na konferencích
2005
-
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Rok: 2005, druh: Uspořádání workshopu
-
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Rok: 2005, druh: Uspořádání workshopu
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Proceedings of SAVCBS 2005, rok: 2005