Masarykova univerzita, Fakulta informatiky
Oddělení doktorských a zahraničních studií
Botanická 554/68a, 602 00 Brno, Česká republika
T: +420 549 49 4963, E: phdoffice@fi.muni.cz, www.fi.muni.cz
Oznámení o konání obhajoby disertační práce
12. 4. 2022 od 12:30 hod v zasedací místnosti B517, budova FI MU
RNDr. Marek Chalupa
Program Slicing and Symbolic Execution for Verification
Předseda: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU
Členové: doc. RNDr. Jan Strejček, Ph.D., FI MU – školitel
Prof. Dr. Dirk Beyer, LMU Munich - oponent
Prof. Corina Pasareanu, PhD., Carnegie Mellon University - oponentka
doc. RNDr. Petr Švenda, Ph.D., FI MU