Budova FI, Botanická 68a, Budova Fakulty informatiky

Katedra teorie programování

Projekty


Celkový počet projektů: 13

Algebraic Language Theory for Infinite Trees (GA17-01035S)

Řešitel na MU: Dr. rer. nat. Achim Blumensath
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2017 — 12/2019
Investor/Program:
Grantová agentura ČR / Standardní projekty

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

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)

Centrum excelence - Institut teoretické informatiky (GBP202/12/G061)

Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2012 — 12/2018
Investor/Program:
Grantová agentura ČR / Projekty na podporu excelence v základním výzkumu

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

Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky (MUNI/33/IP1/2017)

Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2017 — 12/2017
Investor/Program:
Masarykova univerzita / Interní projekty FI

Rényiho entropie v kvantovém zpracování informace (GA16-22211S)

Řešitel na MU: doc. RNDr. Jan Bouda, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2016 — 12/2018
Investor/Program:
Grantová agentura ČR / Standardní 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

Strojové učení, dobývání znalostí a detekce anomálií (SOC/0007/2016)

Řešitel na MU: doc. RNDr. Lubomír Popelínský, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
9/2016 — 2/2017
Investor/Program:
Jihomoravské centrum pro mezinárodní mobilitu / Středoškolská odborná činnost

Structural properties, parameterized tractability and hardness in combinatorial problems (GA17-00837S)

Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2017 — 12/2019
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