Zdeněk Letko

Projekty

• 2014

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

  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

• 2013

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

• 2012

  Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, zahájení: 2012-07-01, ukončení: 2015-06-30, ukončen

  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

  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

  Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, zahájení: 2011-02-10, ukončení: 2015-02-09, 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

• 2006

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