prof. RNDr. Jiří Barnat, Ph.D.

Proděkan pro studijní programy, statutární zástupce děkana Fakulty informatiky


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

Zobrazit na mapě

Telefon: 549 49 3507
E‑mail:
Projekty

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (8A16002)

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

AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (692474)

Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
4/2016 — 3/2019
Investor/Program:
Evropská unie / Horizon 2020

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

Rozšíření nástroje DIVINE pro verifikaci vstupně-výstupně otevřených programů (MUNI/33/15/2015)

Řešitel na MU: prof. RNDr. Jiří Barnat, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
12/2015 — 11/2016
Investor/Program:
Masarykova univerzita / Program děkana FI

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

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