26 květen Projekt oceněný v soutěži Brno Ph.D. Talent pracuje na analýze webů ... Ověřit platnost přístupových práv do cloudových řešení, verifikovat řídicí systémy pro letecký průmysl či odhalit zranitelnosti v kódu webových aplikací. To vše brzy dokáže nástroj Davida ...
15 květen Baví mě zjišťovat, proč věci fungují tak, jak fungují, říká oceněný ... Cenu v soutěži Brno Ph.D. Talent získal i Michal Hečko z Fakulty informačních technologií VUT. Porota ocenila jeho výzkum zaměřující se na formální verifikaci. Ta je podle Michala Hečka stále ...