prof. RNDr. Mojmír Křetínský, CSc.
profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4239 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
-
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. 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/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 -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2013 — 12/2013Investor/Program: Masarykova univerzita / Grantová agentura MU -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (MUNI/A/0914/2009)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2010 — 12/2012Investor/Program: Masarykova univerzita / Grantová agentura MU -
Verifikace a analýza velmi velkých počítačových systémů (GA201/09/1389)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2009 — 12/2011Investor/Program: Grantová agentura ČR / Standardní projekty -
Aplikace formálních metod pro ověřování vlastností procesů (FRVS/446/2005/G6)
Řešitel na MU: doc. RNDr. Vojtěch Řehák, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 12/2005Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Fond rozvoje vysokých škol -
Verifikace nekonečně stavových systémů (GA201/03/1161)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2003 — 12/2005Investor/Program: Grantová agentura ČR / Standardní projekty -
Nekonečně stavové souběžné systémy - modely a verifikace (GA201/00/0400)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2000 — 12/2002Investor/Program: Grantová agentura ČR / Standardní projekty -
Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech (GA201/99/D026)
Řešitel na MU: Mgr. Jitka Stříbrná, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 9/1999 — 8/2002Investor/Program: Grantová agentura ČR / Standardní projekty -
Rozhodnutelné problémy v algebrách procesů (GA201/98/P046)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1998 — 12/2000Investor/Program: Grantová agentura ČR / Standardní projekty