Ing. Viktor Malík

Projects

2019AUFOVER - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running
Research leader: Kratochvíla Tomáš
Team leaders: Smrčka Aleš
2017ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
2016Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
Research leader: Vojnar Tomáš

Your IPv4 address: 18.232.124.77
Switch to https