RNDr. Jakub Gajarský, Ph.D.
odborný asistent – Katedra teorie programování
| e‑mail: |
|
|---|
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 -
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 -
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2014 — 12/2016Investor/Program: Grantová agentura ČR / Standardní projekty -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV. (MUNI/A/1159/2014)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2015 — 12/2015Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/1206/2014)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2015 — 12/2015Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0765/2013)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2014 — 12/2014Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0739/2012)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2013 — 12/2013Investor/Program: Masarykova univerzita / Grantová agentura MU