Oceněný doktorand David Chocholatý vyvíjí nejrychlejší nástroj analýzy webů pomocí automatové teorie
Druhým doktorandem z fakulty FIT VUT, který letos získal ocenění v soutěži Brno Ph.D. Talent, je David Chocholatý z Ústavu inteligentních systémů. Jím vyvíjený nástroj slouží k analýze bezpečnostních vlastností webových aplikací a podle výsledků mezinárodní soutěže SMT-COMP 2024 je …