Michal Hečka a David Chocholatý z FIT jsou mezi oceněnými Brno Ph.D. Talent

Město Brno pošestnácté ocenilo mladé vědce a vědkyně z brněnských univerzit. Na slavnostním setkání ve středu 19. 3. na brněnské Nové radnici převzali šeky na další rozvoj svého výzkumu. Mezi 25 oceněnými jsou Michala Hečka a David Chocholatý z Ústavu inteligentních systémů FIT VUT.

Zlepšovat software pomocí logiky je heslem Michala Hečka. Logika a její použití ve formální verifikaci, kterou se zabývá, je oblastí teoretické informatiky s důležitými praktickými dopady. „Když je cena za chybu počítače vysoká, obracíme se na formální verifikaci, abychom matematicky dokázali, že se software chová podle našich očekávání. Základy formální verifikační logiky a rozhodovacích postupů jsou však plné problémů se škálovatelností, což způsobuje obrovský nárůst výpočetní doby a neefektivnost použitých algoritmů pro reálné aplikace. Můj projekt se těmito problémy zabývá s cílem připravit cestu k bezpečnému a robustnímu softwaru,“ vysvětluje Michal a dodává: „Život v bezpečí a pohodlí vnímám jako privilegium a věřím, že bych měl svůj čas trávit zodpovědně tím, že využiji svou zvědavost a touhu po poznání a pokusím se naši společnost posunout kupředu.“

Na vývoj metod pro systematické objevování chyb ve webových aplikacích se zaměřuje David Chocholatý. Spolu s kolegy k tomu využívá nástroje z teorie automatů, která je také součástí teoretické informatiky. „Náš přístup je nejrychlejší na světě, což nám dává jedinečnou příležitost překonat současné překážky a odhalit mnohé zranitelnosti. Projekt navíc pomůže i v oblastech verifikace řídících systémů pro letecký průmysl či při nastavení přístupových práv do cloudových řešení,“ přibližuje svůj výzkum David a dodává také svou motivaci: „Zvídavost a touha rozumět světu kolem nás je tím, co nás jako lidstvo rozvíjí, a já jsem rád, že mohu být součástí tohoto pokroku.“

Více o letošním ročníku v článku na webu VUT.