Prof. RNDr. Luboš Brim, CSc.

Personal photo

 

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
CRitical sYSTems engineering AcceLeration (332830)
MU Investigator:Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:5/2013 - 12/2015
Investor/Programme:European Union / 7th Specific RTD 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
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2014
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0739/2012)
MU Investigator:Prof. RNDr. Petr Hliněný, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2013 - 12/2013
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2013 - 12/2013
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Software Components in Embedded Systems: Development and Verification (GAP202/11/0312)
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2011 - 12/2013
Investor/Programme:Czech Science Foundation / Standard Projects
more
industrial Framework for Embedded Systems Tools (100203)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2010 - 3/2013
Investor/Programme:European Union / 7th Specific RTD Programme
more
industrial Framework for Embedded Systems Tools (7H10002)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:4/2010 - 3/2013
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
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
Inovace bakalářského a magisterského studijního oboru Bioinformatika ve směru Systémová biologie (CZ.1.07/2.2.00/07.0464)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:6/2009 - 5/2012
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Operational Programme Education for Competitiveness
more
Zlepšování podmínek pro působení významných zahraničních akademických pracovníků na Masarykově univerzitě (ROZV/7/10/2011)
MU Investigator:PhDr. Jan Pavlík
MU Faculty/Unit:Faculty of Arts
Project Period:1/2011 - 12/2011
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2009 - 12/2011
Investor/Programme:Czech Science Foundation / Standard Projects
more
Posilování postavení Masarykova univerzity v mezinárodním kontextu (ROZV/7/2/2010)
MU Investigator:Assoc. Prof. PhDr. Mikuláš Bek, Ph.D.
MU Faculty/Unit:Rector's Office
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Zapojení významných zahraničních akademických pracovníků do výuky na Masarykově univerzitě (ROZV/7/3/2010)
MU Investigator:PhDr. Jan Pavlík
MU Faculty/Unit:Faculty of Arts
Project Period:1/2010 - 12/2010
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Scalable Modeling and Analysis Techniques to study Emergent Cell Behavior - understanding the E. coli stress response (043235)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:2/2007 - 1/2010
Investor/Programme:European Union / 6th Specific RTD Programme
more
Budování mezinárodního profilu Masarykovy univerzity (ROZV/7/5/2009)
MU Investigator:Assoc. Prof. PhDr. Mikuláš Bek, Ph.D.
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
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)
MU Investigator:PhDr. Jan Pavlík
MU Faculty/Unit:Faculty of Arts
Project Period:1/2009 - 12/2009
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Techniques for automatic verification and validation of software nad hardware systems (1ET408050503)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2005 - 12/2009
Investor/Programme:Academy of Sciences of the Czech Republic / Information society (National programme of research)
more
Podpora internacionalizace a přípravy evropských projektů na MU (ROZV/52/2008)
MU Investigator:Assoc. Prof. PhDr. Mikuláš Bek, Ph.D.
MU Faculty/Unit:Rector's Office
Project Period:1/2008 - 12/2008
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Development Programmes
more
Automated software verification (GA201/06/1338)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2006 - 12/2008
Investor/Programme:Czech Science Foundation / Standard Projects
more
Účast ČR ve výzkumném sdružení ERCIM (LA 168)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2002 - 12/2006
Investor/Programme:Ministry of Education, Youth and Sports of the CR / INGO
more
Parallel Real Time LTL Model Checking for Embedded Software (1PO5ME747)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2005 - 5/2005
Investor/Programme:Ministry of Education, Youth and Sports of the CR / Programme of Regional and International Cooperation in R&D (National Research Programme starting in 2005 or before)
more
Automated Verification of Parallel and Distributed Systems (GA201/03/0509)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2003 - 12/2005
Investor/Programme:Czech Science Foundation / Standard Projects
more
Algorithms and tools for practical verification of concurrent systems. (GA201/00/1023)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2000 - 1/2002
Investor/Programme:Czech Science Foundation / Standard Projects
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
Computational Logic and Computational Methods (MUNI/33/002/1995)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1995 - 12/1999
Investor/Programme:The Royal Society / The Royal Society 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