Ing.

Zdeněk Letko

Ph.D.

člen pracovní skupiny


49302/osobní číslo VUT

Projekty

  • 2014

    Automatická analýza a verifikace transakčních pamětí, COST - COST CZ (2011-2017), LD14001, 2014, ukončen, zahájení: 2014-01-01, ukončení: 2014-12-31
    Detail

    Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen, zahájení: 2014-12-17, ukončení: 2018-12-18
    Detail

    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

  • 2013

    Inteligentní testování a analýza paralelních programů, MŠMT ČR - KONTAKT II (2011-2017), LH13265, 2013-2015, ukončen, zahájení: 2013-04-01, ukončení: 2015-03-31
    Detail

  • 2012

    Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, MŠMT ČR - OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, CZ.1.07/2.3.00/30.0005, 2012-2015, ukončen, zahájení: 2012-07-01, ukončení: 2015-06-30
    Detail

    Verifikace a optimalizace počítačových systémů, VUT v Brně - Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen, zahájení: 2012-01-01, ukončení: 2014-12-31
    Detail

  • 2011

    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

    Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST - COST CZ (2011-2017), IC1001, 2011-2015, ukončen, zahájení: 2011-02-10, ukončení: 2015-02-09
    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

    Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT ČR - COST, OC10009, 2010-2012, ukončen, zahájení: 2010-01-01, ukončení: 2012-12-31
    Detail

    Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR - Standardní projekty, GAP103/10/0306, 2010-2013, ukončen, zahájení: 2010-01-01, ukončení: 2013-12-31
    Detail

  • 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, zahájení: 2009-01-30, ukončení: 2012-12-31
    Detail

    Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, ukončen, zahájení: 2009-10-30, ukončení: 2013-10-30
    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

Nahoru