Prof. RNDr. Antonín Kučera, Ph.D.
| Centrum excelence - Institut teoretické informatiky (GAP202/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 | |
| Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2010 - 12/2014 |
| 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/2012) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2012 - 12/2012 |
| Investor/Programme: | Masaryk University / Internal projects of the Faculty of Informatics |
| more | |
| Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (MUNI/A/0914/2009) | |
| MU Investigator: | Prof. RNDr. Mojmír Křetínský, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2010 - 12/2012 |
| Investor/Programme: | Masaryk University / Student Project Grant at MU (specific research, rector's programme) |
| more | |
| Podpora zapojení mladých akademických pracovníků do tvůrčích týmů (ROZV/7/4/2011) | |
| MU Investigator: | Prof. RNDr. Jaroslav Koča, DrSc. |
| MU Faculty/Unit: | Faculty of Science |
| Project Period: | 1/2011 - 12/2011 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Development Programmes |
| more | |
| Institute for Theoretical Computer Science (1M0545) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2005 - 12/2011 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Research Centres (National Research Programme) |
| more | |
| Podpora zapojení mladých akademických pracovníků do tvůrčích týmů (ROZV/7/9/2010) | |
| MU Investigator: | Prof. RNDr. Jaroslav Koča, DrSc. |
| MU Faculty/Unit: | Faculty of Science |
| Project Period: | 1/2010 - 12/2010 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Development Programmes |
| more | |
| Kariérní růst akademických pracovníků MU jako prostředek kvalitativního posílení výzkumu a vzdělávání (ROZV/7/16/2009) | |
| MU Investigator: | Prof. RNDr. Jana Musilová, CSc. |
| MU Faculty/Unit: | Rector's Office |
| Project Period: | 1/2009 - 12/2009 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Development Programmes |
| more | |
| Podpora zapojení mladých akademických pracovníků do tvůrčích týmů (ROZV/7/13/2009) | |
| MU Investigator: | Prof. RNDr. Jaroslav Koča, DrSc. |
| MU Faculty/Unit: | Faculty of Science |
| Project Period: | 1/2009 - 12/2009 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Development Programmes |
| more | |
| Ověřování vlastností nekonečně-stavových pravděpodobnostních systémů (FRVS/3202/2005/G6) | |
| MU Investigator: | RNDr. Tomáš Brázdil, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2005 - 12/2005 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / University Development Fund |
| more | |
| (Un)decidable Problems in Process Algebras (GA201/98/P046) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/1998 - 12/2000 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
| Methods for (semi)automatic Verification of Concurrent Systems (MUNI/33/001/1998) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/1998 - 1/1999 |
| Investor/Programme: | Masaryk University / Rector's programme to support MU student's creative work |
| more | |
| Algorithmic Verification Boundaries for Infinite-State Systems (GA201/97/0456) | |
| MU Investigator: | Prof. RNDr. Mojmír Křetínský, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/1997 - 12/1999 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
| Analysis of Concurrent Infinite State Systems (GA201/93/2123) | |
| MU Investigator: | Prof. RNDr. Mojmír Křetínský, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/1993 - 1/1995 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
