RNDr. Vojtěch Forejt, Ph.D.

Personal photo

 

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/2014)
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2014
Investor/Programme:Masaryk University / Internal projects of the Faculty of Informatics
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/2013)
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2013 - 12/2013
Investor/Programme:Masaryk University / Internal projects of the Faculty of Informatics
more
Rozhodnutelné vlastnosti Markových řetězců s nekonečně mnoha stavy (MUNI/33/E0017/2006)
MU Investigator:RNDr. Vojtěch Forejt, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:9/2006 - 6/2007
Investor/Programme:Masaryk University / Rector's programme to support MU student's creative work
more