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
2008
-
DiProNN Resource Management System
MEMICS 2008, rok: 2008
-
DiProNN: Distributed Programmable Network Node Architecture
ICNS'08 Conference Proceedings, rok: 2008
-
DiProNN: Distributed Programmable Network Node Architecture
CGW'07 Conference Proceedings, rok: 2008
-
Formal verification of systems with an unlimited number of components
IET Software journal, rok: 2008, ročník: Volume 2, vydání: Isuue 6
-
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Rok: 2008, druh: Editorství tématického sborníku
-
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Rok: 2008, druh: Uspořádání workshopu
-
Metric Similarity Search Implementation Framework (MESSIF)
Rok: 2008
-
M-Chord: Distributed Data Structure for Similarity Search
Rok: 2008
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Rok: 2008, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Reachability in Recursive Markov Decision Processes
Information and Computation, rok: 2008, ročník: 206, vydání: 5