doc. RNDr. Tomáš Brázdil, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
office: S214
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 3922 |
---|---|
e‑mail: |
social and academic networks: |
---|
-
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0765/2013)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 12/2014Investor: Masaryk University / Grant Agency of Masaryk University -
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 -
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 -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0739/2012)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2013 — 12/2013Investor: Masaryk University / Grant Agency of Masaryk University -
Ověřování vlastností nekonečně-stavových pravděpodobnostních systémů (FRVS/3202/2005/G6)
MU Researcher: doc. RNDr. Tomáš Brázdil, 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