Ing. Viktor Malík

Projekty

2019AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení
Řešitel: Kratochvíla Tomáš
Spoluřešitelé: Smrčka Aleš
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áš
 ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Kofroň Jan
2016Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen
Řešitel: Vojnar Tomáš

Vaše IPv4 adresa: 34.238.189.171