Květnové obhajoby disertačních prací na FIT VUT – od náhodnosti ve strojovém učení po efektivnost programů se složitými datovými strukturami

Poslední květnový týden bude na půdě FIT VUT patřit obhajobám disertačních prací. Výsledky svého doktorského studia a výzkumu prezentují také Ing. Veronika Šoková a Ing. Branislav Pecher.

Srdečně zveme na obhajobu disertační práce Ing. Branislava Pechera z Ústavu počítačové grafiky a multimédií s názvem Sensitivity of Learning with Limited Labelled Data to the Effects of Randomness / Citlivost učení s malým množstvím anotovaných dat na efekty náhodnosti. Obecným tématem práce je chování modelů strojového učení – zejména pak velkých jazykových modelů –, v situacích, kdy je k dispozici jen malé množství označených dat. Související otázkou pak je, jak výkon těchto modelů ovlivňují faktory náhodnosti. Zaměření své disertační práce přibližuje Branislav Pecher konkrétním přístupným příkladem: „Téměř každý se již setkal s ChatGPT nebo podobným nástrojem. Pokud se zeptáte ‚Které číslo je větší:13,11, nebo 13,8?‘, dostanete správnou odpověď: 13,8. Pokud však mírně změníte stylizaci otázky na: ‚13,11 a 13,8, které číslo je větší?‘, model odpoví nesprávně – tvrdí, že 13,11 je správné řešení. Podobné drobné změny mohou vést k překvapivě nekonzistentnímu chování. A právě na tento problém se má práce zaměřuje.“ Proč vlastně dochází k těmto nekonzistencím, jaký mají dopad a jak je můžeme zmírnit – a to zejména v situacích, kdy máme k dispozici omezené množství označených dat.

Práce vznikla pod vedením školitelky prof. Ing. Márie Bielikové, Ph.D. Oponenty práce jsou: prof. Ing. Ján Paralič, PhD., FEEI, TU, Košice a Dr. Sara Tonelli, Fondazione Bruno Kessler, Itálie.

Abstrakt práce je k dispozici zde

Obhajoba se koná 26. května od 10:30 v zasedací místnosti G108 na FIT VUT.

O pouhé tři dny později, tedy 29. května, je na programu obhajoba disertační práce Ing. Veroniky Šokové z Ústavu inteligentních systémů. Disertace pod názvem Shape Analysis of Low-Level Programs with Complex Data Structuresse / Analýza tvaru nízkoúrovňových programů se složitými datovými strukturami. Práce se zaměřuje na analýzu a verifikaci programů se složitými dynamickými datovými strukturami a operacemi s ukazateli. Autorka se soustředí na zlepšení metod automatické analýzy programů, které využívají složité datové struktury a pracují přímo s pamětí počítače. V rámci výzkumu navrhla nové techniky, které lépe odhalují chyby v paměťových operacích, zlepšují efektivitu analýzy a umožňují kontrolu programů, jež manipulují se složitými datovými strukturami. Dodejme, že vyvíjené nástroje dosáhly v mezinárodní soutěži Software Verification Competition (SV-COMP) vynikajících výsledků.

Práce vznikla pod vedením školitelů prof. Ing. Tomáše Vojnara, Ph.D., a doc. Mgr. Adama Rogalewicze, Ph.D. (specialisty). Oponenty práce jsou: doc. RNDr. Jan Kofroň, Ph.D., MFF UK, a prof. Mihaela Sighireanu, LSV (Laboratoire Spécification et Vérification), University Paris-Saclay.

Abstrakt práce je k dispozici zde.

Obhajoba se koná 29. května od 13:00 v zasedací místnosti G108 na FIT VUT.