prof. RNDr. Mojmír Křetínský, CSc.
Professor, Department of Computer Science
Office: C414
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4239 |
---|---|
E‑mail: |
social and academic networks: |
---|
-
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 12/2014Investor: Masaryk University / Grant Agency of Masaryk University -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0765/2013)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 12/2014Investor: Masaryk University / Grant Agency of Masaryk University -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2013 — 12/2013Investor: Masaryk University / Grant Agency of Masaryk University -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (MUNI/A/0914/2009)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2010 — 12/2012Investor: Masaryk University / Grant Agency of Masaryk University -
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
MU Researcher: prof. RNDr. Luboš Brim, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2009 — 12/2011Investor: Czech Science Foundation / Standard Projects -
Application of formal methods in the verification of processes (FRVS/446/2005/G6)
MU Researcher: doc. RNDr. Vojtěch Řehák, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2005 — 12/2005Investor: Ministry of Education, Youth and Sports of the CR / University Development Fund -
Verification of infinite-state systems (GA201/03/1161)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2003 — 12/2005Investor: Czech Science Foundation / Standard Projects -
Infinite state concurrent systems - models and verification (GA201/00/0400)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2000 — 12/2002Investor: Czech Science Foundation / Standard Projects -
Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)
MU Researcher: Mgr. Jitka Stříbrná, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 9/1999 — 8/2002Investor: Czech Science Foundation / Standard Projects -
(Un)decidable Problems in Process Algebras (GA201/98/P046)
MU Researcher: prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/1998 — 12/2000Investor: Czech Science Foundation / Standard Projects