Budova FI, Botanická 68a, Budova Fakulty informatiky

Katedra teorie programování

Projekty


Celkový počet projektů: 16

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

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

Automatizovaná syntéza parametrov z temporálnych špecifikácií (MUNI/C/1017/2015)

Řešitel na MU: Bc. Samuel Pastva
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
1/2016 — 12/2016
Investor/Program:
Masarykova univerzita / Grantová agentura MU

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: doc. 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

Critical System Engineering Acceleration (7H13001)

Řešitel na MU: doc. 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)

Nástroj pro predikci úspěšnosti počítačových her (MUNI/33/03/2016)

Řešitel na MU: doc. RNDr. Lubomír Popelínský, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
4/2016 — 12/2016
Investor/Program:
Masarykova univerzita / Program děkana FI

Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)

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

Ř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 / Interní projekty FI

Randomness and Quantum Entanglement (7E13009)

Řešitel na MU: doc. RNDr. Jan Bouda, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
10/2013 — 9/2016
Investor/Program:
Ministerstvo školství, mládeže a tělovýchovy ČR / Podpora projektů sedmého rámcového programu Evropského společenství pro výzkum, technologický rozvoj a demonstrace (2007 až 2013)

RAQUEL - Randomness and Quantum Entanglement (323970)

Řešitel na MU: doc. RNDr. Jan Bouda, Ph.D.
Fakulta/Pracoviště MU: Fakulta informatiky
Období řešení:
10/2013 — 9/2016
Investor/Program:
Evropská unie / 7. rámcový program EU

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