Zveme na obhajobu disertační práce Viktora Malíka z Ústavu inteligentních systémů

Srdečně zveme na obhajobu disertační práce Ing. Viktora Malíka s názvem Statická analýza programů v jazyce C. Pod vedením školitele profesora Tomáše Vojnara  se v ní zabývá  statickou analýzou nízkoúrovňového softwaru (tj. analýzy zdrojového kódu softwaru). Práce navrhuje nové originální techniky ve dvou různých oblastech analýzy: formální verifikaci (tj. dokazování správnosti), programů pracujících se složitými datovými strukturami a rychlou, odlehčenou statickou analýzu sémantických rozdílů mezi verzemi rozsáhlého softwaru (např. linuxového jádra nebo systémových knihoven).

Obhajoba se koná 5. března od 15 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn z TU Wien a prof. RNDr. Jan Strejček, Ph.D. z FI MU.

Více informací o práci naleznete na tomto odkazu.