Věra Malásková

2017ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-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áš
2016Podpora mezinárodní mobility akademických pracovníků VUT v Brně, RP MŠMT, 2016, completed
Research leader: Beran Vítězslav
 Podpora mezinárodní spolupráce VUT v Brně, RP MŠMT, 2016, completed
Research leader: Beran Vítězslav
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, running
Research leader: Vojnar Tomáš
2014Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan

Your IPv4 address: 107.22.126.144
Switch to IPv6 connection

DNSSEC [dnssec]