Ing.

Viktor Malík

Student doktorského studia

+420 54114 1178
imalik@fit.vut.cz
A219 Pracovna
143967/osobní číslo VUT

Projekty

  • 2020

    SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, řešení, zahájení: 2020-01-01, ukončení: 2022-12-31
    Detail

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

  • 2019

    AUFOVER - Automatizace formální verifikace, TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-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

    ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen, zahájení: 2017-01-01, ukončení: 2019-12-31
    Detail

  • 2016

    Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
    Detail

Nahoru