Ing.

Viktor Malík

Ph.D. student

+420 54114 1178
imalik@fit.vut.cz
A219 Office
143967/BUT personal ID

Projects

  • 2020

    Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, running, start: 2020-03-01, end: 2022-12-31
    Detail

    SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, running, start: 2020-01-01, end: 2022-12-31
    Detail

  • 2019

    AUFOVER - Automation of Formal Verification, TACR, TH04010192, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
    Detail

  • 2017

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

    Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-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