prof. RNDr. Ivana Černá, CSc.


Kancelář: A410
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Telefon: 549 49 3890
E‑mail:
Projekty

Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI. (MUNI/A/0897/2016)

Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2017 — 12/2017
Investor/Program:
Masarykova univerzita / Grantová agentura MU

Correctness Analysis of C and C++ Programs with Threads (GA15-08772S)

Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
3/2015 — 12/2017
Investor/Program:
Grantová agentura ČR / Standardní 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

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

Critical System Engineering Acceleration (7H13001)

Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
5/2013 — 4/2016
Investor/Program:
Ministerstvo školství, mládeže a tělovýchovy ČR / Společné technologické iniciativy (7H a 8A)

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

CRitical sYSTems engineering AcceLeration (332830)

Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
5/2013 — 12/2015
Investor/Program:
Evropská unie / 7. rámcový program EU

Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci (CZ.1.07/2.3.00/30.0009)

Řešitel na MU: prof. Ing. Petr Dvořák, CSc.
Fakulta/Pracoviště MU: Rektorát
Období řešení:
7/2012 — 6/2015
Investor/Program:
Ministerstvo školství, mládeže a tělovýchovy ČR / Operační program Vzdělávání pro konkurenceschopnost (VK)

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

Předchozí 1 2 3 Další

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

Další info