Project information
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
(PVT-VVPZ)
- Project Identification
- MUNI/33/IP1/2014
- Project Period
- 1/2014 - 12/2014
- Investor / Pogramme / Project type
-
Masaryk University
- Internal projects of the Faculty of Informatics
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Vladimír Bužek, DrSc.
- RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
- Prof. Jiří Srba, Ph.D.
- prof. Mgr. Tomáš Tyc, Ph.D.
Hlavním záměrem projektu je podpora rozvoje perspektivních výzkumných týmů na Fakultě informatiky a podpora spolupráce s vynikajícími vědeckými pracovníky aktivně působícími zejména v zahraničí, kteří se současně významným způsobem podílejí na řešení vědeckých úkolů Fakulty informatiky. Důraz je kladen na ty výzkumné směry, které se pohybují na hranici informatiky a jiných vědních disciplín, resp. mají přesah a uplatnění v jiných oborech.
Podpora perspektivních výzkumných týmů Fakulty je zaměřena na stabilizaci personálního obsazení týmů ve vazbě na přechod na nové zdroje financování.
Podpora vynikajících vědeckých pracovníků působících mimo Fakultu informatiky si klade za cíl udržet stávající a případně získat nové odborníky z jiných institucí, kteří se aktivně zapojují do řešení výzkumných úkolů Fakulty informatiky. Tito pracovníci jsou zpravidla financováni na základě dohody o pracovní činnosti, případně dohody o provedení práce, rozsah prací je specifikován individuálně.
Publications
Total number of publications: 3
2014
-
Language equivalence of probabilistic pushdown automata.
Information and computation, year: 2014, volume: 237, edition: October 2014, DOI
-
Permissive Controller Synthesis for Probabilistic Systems.
Tools and Algorithms for the Construction and Analysis of Systems, year: 2014
-
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
FM 2014: Formal Methods, year: 2014