Milan Češka

Projekty

• 2021

  FIT VUT - Příprava vlastního projektu do programu Horizon Europe, JMK, Smart akcelerátor v Jihomoravském kraji II, 2021, řešení

• 2020

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, ukončen

• 2018

  Transfer technologií skrze nadnárodní aplikační experimenty, EU, Horizon 2020, 761349, 2018-2021, řešení

• 2017

  Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen

• 2014

  Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen

• 2012

  Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen

• 2011

  Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, ukončen

• 2010

  Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen

  Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, ř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, 2009-2012, ukončen

• 2008

  Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, 2008-2009, 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, 2007-2009, ukončen

  Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

• 2006

  Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, 2006-2007, ukončen

  Výukový nástroj pro práci s C/E Petriho sítěmi, FR2880/2006/G1, 2006, 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, 2005-2008, 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, 2004-2006, ukončen

• 2003

  Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, 2003-2006, ukončen

• 2002

  Doktorský studijní program Informační technologie na VUT v Brně, FR1833/2002/F1, 2002, ukončen

  InterpRISe - meziregionální spolupráce pro podporu regionálních inovačních strategií v Evropě, Phare 00-0047, 2002, ukončen

  Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích, FR1948/2002/G1, 2002, ukončen

• 2001

  Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, 2001-2003, 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, 2000-2002, ukončen