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 aktuálně nejrychlejším svého druhu na světě.

Výzkum Davida Chocholatého a jeho výzkumné skupiny cílí na podporu kyberbezpečnosti pomocí inovativních metod využívajících automatové technologie a tzv. string solving. Projekt se primárně zaměřuje na bezpečnost webových aplikací, ale výsledky mají skutečně široké praktické využití: od ověřování správnosti přístupových práv ve webových službách přes ochranu uživatelských dat (např. při přihlašování) až po automatickou verifikaci řídicích systémů v letectví. Aplikovatelnost do každodenní praxe je pro Davida Chocholatého zásadní: „Potenciál uplatnění tohoto řešení je téměř nekonečný.“ Samotné ocenění v soutěži Brno Ph.D. pak vnímá jako zásadní doklad toho, že jeho práce má význam i mimo akademickou sféru.

Celý rozhovor s naším úspěšným doktorandem si můžete přečíst na webu zVUT.cz