Ing.

Štefan Martiček


imarticek@fit.vut.cz
Office A220

[photo]

Projects

  • 2018

    MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2020, running, start: 2018-06-01, end: 2020-12-31
    Detail

  • 2017

    ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running, start: 2017-01-01, end: 2019-12-31
    Detail

  • 2016

    Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
    Detail

Back to top