Department of Computer Science

Total number of projects in 2015: 19


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 / Subvention of the projects of the Seventh Framework Programme of the European Community for research, technological development including demonstration activities (2007-2013)
more
Elektronické opory a e-learning pro obory výpočtového a konstrukčního charakteru (CZ.1.07/2.2.00/28.0209)
MU Investigator:Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2012 - 2/2015
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Operational Programme Education for Competitiveness
more
Extending the tool PRISM with methods for effective analysis of stochastic biochemical systems (MUNI/33/03/2014)
MU Investigator:RNDr. Milan Češka, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2014 - 4/2015
Investor/Programme:Masaryk University / FI Dean's Programme
more
Inovace předmětu IV054 Kódování, kryptografie a kryptografické protokoly (MUNI/FR/1740/2014)
MU Investigator:Prof. RNDr. Jozef Gruska, DrSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2015 - 12/2015
Investor/Programme:Masaryk University / Fond rozvoje MU
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
Programování v předmětu IB002 Algoritmy a datové struktury I (MUNI/FR/1662/2014)
MU Investigator:RNDr. Vojtěch Řehák, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2015 - 12/2015
Investor/Programme:Masaryk University / Fond rozvoje MU
more
Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)
MU Investigator:Assoc. Prof. RNDr. Jan Strejček, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2015
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Mobility Activity (7AMB)
more
Randomness and Quantum Entanglement (323970)
MU Investigator: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: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
Rozšíření DIVINE - nástroje pro paralelní verifikaci (MUNI/33/13/2014)
MU Investigator:Kristína Zákopčanová
MU Faculty/Unit:Faculty of Informatics
Project Period:12/2014 - 12/2015
Investor/Programme:Masaryk University / FI Dean's Programme
more
Rozvoj infrastruktury pro výuku a výzkum na FI MU (CZ.1.05/4.1.00/04.0195)
MU Investigator:Roman Čermák, M.Sc., MBA
MU Faculty/Unit:Faculty of Informatics
Project Period:8/2011 - 5/2015
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Operational Programme Research and Development for Innovation
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
Verifikace MPI programů pomocí DIVINE (MUNI/33/01/2015)
MU Investigator:Bc. Marek Tomáštík
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2015 - 12/2015
Investor/Programme:Masaryk University / FI Dean's Programme
more
Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (CZ.1.07/2.3.00/20.0256)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2012 - 3/2015
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Operational Programme Education for Competitiveness
more
Weak sources of entanglement and randomness (GAP202/12/1142)
MU Investigator:RNDr. Jan Bouda, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2012 - 12/2015
Investor/Programme:Czech Science Foundation / Standard Projects
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