prof. RNDr. Ivana Černá, CSc.
vedoucí katedry – Katedra teorie programování
kancelář: A410
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3890 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
-
Rozvoj infrastruktury informačních systémů MU a inovace administrativy studia a komunikačních nástrojů v IS MU (ROZV/7/1/2009)
Řešitel na MU: prof. RNDr. Ivana Černá, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2009 — 12/2009Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Podpora tvorby multimediálních vzdělávacích pomůcek a jejich využití ve výuce na MU (ROZV/58/2008)
Řešitel na MU: prof. RNDr. Ivana Černá, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2008 — 12/2008Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Podpora tvorby multimediálních vzdělávacích pomůcek a jejich využití v každodenní výuce na MU (ROZV/83/2007)
Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2007 — 12/2007Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Rozšířená verifikace konečně stavových systémů (FRVS/237/2005/G6)
Řešitel na MU: doc. Mgr. Radek Pelánek, 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 -
Meze algoritmické verifikovatelnosti nekonečně stavových systémů (GA201/97/0456)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1997 — 12/1999Investor/Program: Grantová agentura ČR / Standardní projekty