A Dékáni Titkárság munkatársa, Dávid Ákos PhD értekezésének nyilvános vitája 2013. szeptember 26-án 10 órai kezdettel az ELTE Természettudományi Kar (1117 Bp., Pázmány Péter sétány 1/A) 7.21-es kari tanácsteremben kerül megrendezésre.
Az értekezés címe: Verification of Computer-Based Software with Model Checking
Témavezető: Dr. Kozma László
Doktori Iskola: ELTE Informatikai Doktori Iskola