Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems
Public support
Provider
Czech Science Foundation
Programme
Doctor grants
Call for proposals
Doktorské granty 4 (SGA02009GA-DG)
Main participants
—
Contest type
VS - Public tender
Contract ID
102/09/H042
Alternative language
Project name in Czech
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ů
Annotation in Czech
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 zklíč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ů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project ensured an inspiring environment for nearly 50 PhD students studying development of reliable and secure parallel or distributed systems. It contributed to education of excellent professionals - their results have been published in 16 papers (Jimp) and gained 14 prestigeous awards, e.g. European association of theoretica computer science 2010.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2012
Project status
U - Finished project
Latest support payment
Mar 30, 2012
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP13-GA0-GD-U/01:2
Data delivery date
Jan 27, 2014
Finance
Total approved costs
11,984 thou. CZK
Public financial support
11,984 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK