prof. RNDr. Luboš Brim, CSc.
profesor – Katedra teorie programování
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
-
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) -
Paralelní ověřování LTL vlastností zapouzdřených systémů pracujících v reálném čase (1PO5ME747)
Řešitel na MU: prof. RNDr. Luboš Brim, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 5/2005Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Program regionální a mezinárodní spolupráce ve výzkumu a vývoji (Národní program výzkumu s počátkem řešení v roce 2005 nebo dříve)