Ing. Štefan Martiček


2018MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2020, running
Research leader: Zemčík Pavel
2017ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
2016Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
Research leader: Vojnar Tomáš

Your IPv4 address:
Switch to https