prof. RNDr.
Milan Češka
CSc.
významný bývalý pracovník
Projekty
-
2021
FIT VUT - Příprava vlastního projektu v rámci programu Horizon Europe, JMK, Smart akcelerátor v Jihomoravském kraji II, zahájení: 2021-08-01, ukončení: 2022-01-31, ukončen
-
2020
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
-
2018
Transfer technologií skrze nadnárodní aplikační experimenty, EU, Horizon 2020, 761349, zahájení: 2018-04-01, ukončení: 2021-12-31, řešení
-
2017
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
-
2014
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
-
2012
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen
-
2011
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
-
2010
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
-
2009
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
-
2008
Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, zahájení: 2008-02-20, ukončení: 2009-12-31, ukončen
-
2007
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
-
2006
Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, zahájení: 2006-01-01, ukončení: 2007-12-31, ukončen
Výukový nástroj pro práci s C/E Petriho sítěmi, FR2880/2006/G1, zahájení: 2006-01-01, ukončení: 2006-12-31, ukončen
-
2005
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
-
2004
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
-
2003
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen
-
2002
Doktorský studijní program Informační technologie na VUT v Brně, FR1833/2002/F1, zahájení: 2002-01-01, ukončení: 2002-12-31, ukončen
InterpRISe - meziregionální spolupráce pro podporu regionálních inovačních strategií v Evropě, Phare 00-0047, zahájení: 2002-01-01, ukončení: 2002-12-11, ukončen
Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FR1948/2002/G1, zahájení: 2002-01-01, ukončení: 2002-12-31, ukončen
-
2001
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
-
2000
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
-
1998
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
-
1997
Inženýrství systémů založených na počítačích, FR618/1997/F1, zahájení: 1997-01-01, ukončení: 1997-12-31, ukončen
-
1994
Metodologie vývoje informačních systémů, GAČR, Standardní projekty, GA102/94/1097, zahájení: 1994-01-01, ukončení: 1996-12-31, ukončen