doc. RNDr. Vojtěch Řehák, Ph.D.
Vice-dean for curricula and internationalisation, Faculty of Informatics
Office: A408
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4687 |
---|---|
E‑mail: |
social and academic networks: |
---|
-
Formální verifikace stochastických systémů s reálným časem (GPP202/12/P612)
MU Researcher: doc. RNDr. Tomáš Brázdil, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2012 — 12/2014Investor: Czech Science Foundation / Postdoctoral projects -
Rozšíření Sequence Chart Studia o novou funkcionalitu (MUNI/33/06/2013)
MU Researcher: doc. RNDr. Vojtěch Řehák, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2012 — 1/2014Investor: Masaryk University / FI Dean's Programme -
Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469)
MU Researcher: prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2010 — 12/2014Investor: Czech Science Foundation / Standard Projects -
Integrace běžných letových simulátorů do distribuovaných simulací HLA 1.3 (MUNI/33/01/2009)
MU Researcher: doc. RNDr. Vojtěch Řehák, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 7/2009 — 6/2010Investor: Masaryk University / FI Dean's Programme -
New possibilities in automatic verification of network protocols (GP201/08/P459)
MU Researcher: doc. RNDr. Vojtěch Řehák, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2008 — 12/2010Investor: Czech Science Foundation / Postdoctoral projects -
Application of formal methods in the verification of processes (FRVS/446/2005/G6)
MU Researcher: doc. RNDr. Vojtěch Řehák, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2005 — 12/2005Investor: Ministry of Education, Youth and Sports of the CR / University Development Fund