prof. RNDr. Mojmír Křetínský, CSc.

Vedoucí katedry – Katedra teorie programování


Botanická 554/68a
Brno
Kancelář: C419

Zobrazit na mapě

Telefon: 549 49 4239
E-mail: mojmir@fi.muni.cz
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/2016
Investor/Program:
Masarykova univerzita / Grantová agentura MU

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/2015
Investor/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/2015
Investor/Program:
Masarykova univerzita / Grantová agentura MU

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/2014
Investor/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/2014
Investor/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/2013
Investor/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/2012
Investor/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/2011
Investor/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: RNDr. Vojtěch Řehák, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2005 — 12/2005
Investor/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/2005
Investor/Program:
Grantová agentura ČR / Standardní projekty

Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info