Ing. Vojtěch Havlena

Projects

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áš
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, running
Research leader: Holík Lukáš
 IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, running
Research leader: Vojnar Tomáš

Your IPv4 address: 54.198.104.202
Switch to IPv6 connection

DNSSEC [dnssec]