Ing. Lukáš Charvát

Projekty

2017Bezpeč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, řešení
Řešitel: Vojnar Tomáš
2014Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen
Řešitel: Vojnar Tomáš
2013Inovace předmětu Složitost, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR166/2013/G1, 2013, ukončen
Řešitel: Lengál Ondřej
Spoluřešitelé: Charvát Lukáš, Rogalewicz Adam
2010Prá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
Řešitel: Vojnar Tomáš
Spoluřešitelé: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR - Standardní projekty, GAP103/10/0306, 2010-2013, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš

Vaše IPv4 adresa: 54.172.221.7
Přepnout na IPv6 spojení

DNSSEC [dnssec]