doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A411
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
-
BCSgen: Softvérová podpora pre jazyk Biochemického priestoru (MUNI/33/09/2015)
MU Researcher: doc. RNDr. David Šafránek, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2015 — 8/2016Investor: Masaryk University / FI Dean's Programme -
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací (MUNI/33/15/2014)
MU Researcher: doc. RNDr. David Šafránek, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2014 — 8/2015Investor: Masaryk University / FI Dean's Programme -
Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (CZ.1.07/2.3.00/20.0256)
MU Researcher: prof. RNDr. Luboš Brim, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 4/2012 — 3/2015Investor: Ministry of Education, Youth and Sports of the CR / Operational Programme Education for Competitiveness -
BioDiVinE v1.5: A tool for formal analysis of dynamical systems (MUNI/33/21/2013)
MU Researcher: doc. RNDr. David Šafránek, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 6/2014Investor: Masaryk University / FI Dean's Programme -
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