Department of Computer Science

Total number of projects in 2016: 15


AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (692474)
MU Investigator:Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2016 - 3/2019
Investor/Programme:European Union / Horizon 2020
more
Automatizovaná syntéza parametrov z temporálnych špecifikácií (MUNI/C/1017/2015)
MU Investigator:Bc. Samuel Pastva
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2016 - 12/2016
Investor/Programme:Masaryk University / Grant Agency of the Masaryk University
more
Centrum excelence - Institut teoretické informatiky (GBP202/12/G061)
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2012 - 12/2018
Investor/Programme:Czech Science Foundation / Projects to promote excellence in basic research
more
Correctness Analysis of C and C++ Programs with Threads (GA15-08772S)
MU Investigator:Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2015 - 12/2017
Investor/Programme:Czech Science Foundation / Standard Projects
more
Critical System Engineering Acceleration (7H13001)
MU Investigator:Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:5/2013 - 4/2016
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Joint Technology Initiatives (7H and 8A)
more
Nástroj pro predikci úspěšnosti počítačových her (MUNI/33/03/2016)
MU Investigator:Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2016 - 12/2016
Investor/Programme:Masaryk University / FI Dean's Programme
more
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)
MU Investigator:Prof. RNDr. Petr Hliněný, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2016
Investor/Programme:Czech Science Foundation / Standard Projects
more
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)
MU Investigator:Prof. RNDr. Petr Hliněný, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2016 - 12/2016
Investor/Programme:Masaryk University / Internal projects of the Faculty of Informatics
more
Randomness and Quantum Entanglement (323970)
MU Investigator:Assoc. Prof. RNDr. Jan Bouda, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:10/2013 - 9/2016
Investor/Programme:European Union / 7th Specific RTD Programme
more
Randomness and Quantum Entanglement (7E13009)
MU Investigator:Assoc. Prof. RNDr. Jan Bouda, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:10/2013 - 9/2016
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Subvention of the projects of the Seventh Framework Programme of the European Community for research, technological development including demonstration activities (2007-2013)
more
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (GA15-17564S)
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2015 - 12/2017
Investor/Programme:Czech Science Foundation / Standard Projects
more
Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku (GBP201/12/G028)
MU Investigator:Prof. RNDr. Jiří Rosický, DrSc.
MU Faculty/Unit:Faculty of Science
Project Period:1/2012 - 12/2018
Investor/Programme:Czech Science Foundation / Projects to promote excellence in basic research
more
Vývoj nástroje Symbiotic III (MUNI/33/09/2016)
MU Investigator:Assoc. Prof. RNDr. Jan Strejček, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:7/2016 - 11/2016
Investor/Programme:Masaryk University / FI Dean's Programme
more
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0935/2015)
MU Investigator:Prof. RNDr. Petr Hliněný, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2016 - 12/2016
Investor/Programme:Masaryk University / Grant Agency of the Masaryk University
more
Získávání parametrů biologických modelů pomocí techniky ověřování modelů (GA15-11089S)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2015 - 12/2017
Investor/Programme:Czech Science Foundation / Standard Projects
more