Ing.

Radek Kočí

Ph.D.

předseda

+420 54114 1171
senat@fit.vut.cz
koci@fit.vut.cz
A204 Kancelář
3191/osobní číslo VUT

Projekty

  • 2023

    Reliable, Secure, and Intelligent Computer Systems, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8151, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
    Detail

  • 2020

    Spolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
    Detail

  • 2018

    Kunst - Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod, Kunst, 2018-2019, ukončen, zahájení: 2018-05-02, ukončení: 2019-05-31
    Detail

    Možnosti tvorby komunitní genealogické databáze se sémantickou informací a zahrnutou neurčitostí, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL01000130, 2018-2021, ukončen, zahájení: 2018-03-01, ukončení: 2021-02-28
    Detail

    MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2021, ukončen, zahájení: 2018-06-01, ukončení: 2021-05-31
    Detail

  • 2017

    Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen, zahájení: 2017-03-01, ukončení: 2019-12-31
    Detail

    Moderní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, ukončen, zahájení: 2017-09-01, ukončení: 2022-12-31
    Detail

    Využití volné výukové kapacity FIT VUT, JMK - Ostatní projekty, které nespadají pod žádnou jinou výzvu, 2017-2018, ukončen, zahájení: 2017-07-01, ukončení: 2018-08-31
    Detail

  • 2016

    IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen, zahájení: 2016-01-01, ukončení: 2020-12-31
    Detail

  • 2015

    MEMICS 2015, FI MUNI, 2015, ukončen, zahájení: 2015-10-23, ukončení: 2015-11-30
    Detail

  • 2014

    Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen, zahájení: 2014-03-11, ukončení: 2016-12-31
    Detail

  • 2011

    Centrum excelence IT4Innovations, MŠMT ČR - Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen, zahájení: 2011-01-01, ukončení: 2015-12-31
    Detail

    Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT v Brně, FIT-S-11-1, 2011-2013, ukončen, zahájení: 2011-01-01, ukončení: 2013-12-31
    Detail

  • 2010

    Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT v Brně, FIT-S-10-1, 2010, ukončen, zahájení: 2010-03-01, ukončení: 2010-12-31
    Detail

  • 2007

    Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, GA102/07/0322, 2007-2009, ukončen, zahájení: 2007-01-01, ukončení: 2009-12-31
    Detail

    Vývoj systémů založený na modelech, GAČR, GP102/07/P306, 2007-2009, ukončen, zahájení: 2007-01-01, ukončení: 2009-12-31
    Detail

    Výzkum informačních technologií z hlediska bezpečnosti, CEZ MŠMT - Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, ukončen, zahájení: 2007-01-01, ukončení: 2013-12-31
    Detail

  • 2006

    SHADOWS - A Self-Healing Approach to Designing Complex Software Systems, EK EU, 2006-2009, ukončen, zahájení: 2006-06-01, ukončení: 2009-07-31
    Detail

  • 2004

    Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, GA102/04/0780, 2004-2006, ukončen, zahájení: 2004-01-01, ukončení: 2006-12-31
    Detail

  • 2002

    Systém PNtalk pro prototypování aplikací, FRVŠ MŠMT, FR1959/2002/G1, 2002, ukončen, zahájení: 2002-01-01, ukončení: 2002-12-31
    Detail

  • 2001

    Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, GA102/01/1485, 2001-2003, ukončen, zahájení: 2001-01-01, ukončení: 2003-12-31
    Detail

  • 2000

    Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, GA102/00/1017, 2000-2002, ukončen, zahájení: 2000-01-01, ukončení: 2002-12-31
    Detail

  • 1994

    PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT v Brně - Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, 1994-2010, ukončen, zahájení: 1994-01-01, ukončení: 2010-12-31
    Detail

Nahoru