RNDr. Samuel Pastva, Ph.D.
odborný asistent – Katedra počítačových systémů a komunikací
kancelář: A303
Botanická 554/68a
602 00 Brno
Projekty
-
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0992/2016)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2017 — 12/2017Investor/Program: Masarykova univerzita / Grantová agentura MU -
Automatizovaná syntéza parametrov z temporálnych špecifikácií (MUNI/C/1017/2015)
Řešitel na MU: RNDr. Samuel Pastva, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2016 — 12/2016Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0935/2015)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2016 — 12/2016Investor/Program: Masarykova univerzita / Grantová agentura MU -
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací (MUNI/33/15/2014)
Řešitel na MU: doc. RNDr. David Šafránek, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 12/2014 — 8/2015Investor/Program: Masarykova univerzita / Program děkana FI