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. |