
prof. RNDr. Luboš Brim, CSc.
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|
sociální a akademické sítě: |
---|
-
Verifikace a analýza velmi velkých počítačových systémů (GA201/09/1389)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2009 — 12/2011Investor/Program: Grantová agentura ČR / Standardní projekty -
Posilování postavení Masarykova univerzity v mezinárodním kontextu (ROZV/7/2/2010)
Řešitel na MU: doc. PhDr. Mikuláš Bek, Ph.D. Fakulta / Pracoviště MU: Rektorát Období řešení: 1/2010 — 12/2010Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Zapojení významných zahraničních akademických pracovníků do výuky na Masarykově univerzitě (ROZV/7/3/2010)
Řešitel na MU: PhDr. Jan Pavlík Fakulta / Pracoviště MU: Filozofická fakulta Období řešení: 1/2010 — 12/2010Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Scalable Modeling and Analysis Techniques to study Emergent Cell Behavioar - understanding the E. coli stress response (043235)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 2/2007 — 1/2010Investor/Program: Evropská unie / 6. rámcový program EU -
Budování mezinárodního profilu Masarykovy univerzity (ROZV/7/5/2009)
Řešitel na MU: doc. PhDr. Mikuláš Bek, Ph.D. Fakulta / Pracoviště MU: Rektorát Období řešení: 1/2009 — 12/2009Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Zlepšování podmínek pro působení významných zahraničních akademických pracovníků na Masarykově univerzitě (ROZV/7/6/2009)
Řešitel na MU: PhDr. Jan Pavlík Fakulta / Pracoviště MU: Filozofická fakulta Období řešení: 1/2009 — 12/2009Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Techniky automatické verifikace a validace softwarových a hardwarových systémů (1ET408050503)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 12/2009Investor/Program: Akademie věd ČR / Informační společnost (Národní program výzkumu) -
Podpora internacionalizace a přípravy evropských projektů na MU (ROZV/52/2008)
Řešitel na MU: doc. PhDr. Mikuláš Bek, Ph.D. Fakulta / Pracoviště MU: Rektorát Období řešení: 1/2008 — 12/2008Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Rozvojové programy -
Automatizovaná verifikace softwaru (GA201/06/1338)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2006 — 12/2008Investor/Program: Grantová agentura ČR / Standardní projekty -
Účast ČR ve výzkumném sdružení ERCIM (LA 168)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2002 — 12/2006Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / INGO (jen po projekty s počátkem řešení v roce 2010)