prof. RNDr. Jan Strejček, Ph.D.
profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 6941 |
|---|---|
| e‑mail: |
| sociální a akademické sítě: |
|---|
-
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII. (MUNI/A/0854/2017)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2018Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18 (MUNI/A/1038/2017)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2018Investor/Program: Masarykova univerzita / Grantová agentura MU -
Centrum excelence - Institut teoretické informatiky (GBP202/12/G061)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2012 — 12/2018Investor/Program: Grantová agentura ČR / Projekty na podporu excelence v základním výzkumu -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI. (MUNI/A/0897/2016)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2017 — 12/2017Investor/Program: Masarykova univerzita / Grantová agentura MU -
Vývoj nástroje Symbiotic IV (MUNI/33/03/2017)
Řešitel na MU: prof. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 4/2017 — 8/2017Investor/Program: Masarykova univerzita / Program děkana FI -
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 -
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (GA15-17564S)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2015 — 12/2017Investor/Program: Grantová agentura ČR / Standardní projekty -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V. (MUNI/A/0945/2015)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2016 — 12/2016Investor/Program: Masarykova univerzita / Grantová agentura MU -
Vývoj nástroje Symbiotic III (MUNI/33/09/2016)
Řešitel na MU: prof. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 7/2016 — 11/2016Investor/Program: Masarykova univerzita / Program děkana FI -
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