Data of the public discussion
The
Eötvös Loránd University, Budapest Doctoral Committee
and the
Doctoral School of Informatics
doctoral school
has organized the public discussion of
Gergely Dévai
"Programhelyesség-bizonyítás fordítási időben" (2017)
in research field computer sciences
Date of the public discussion of the thesis: 2017-VI-27 14:00
place: ELTE Természettudományi Kar (Budapest, Pázmány Péter sétány 1/A.) 7.21-es Kari Tanácsterem
Main findings in the thesis (in Hungarian)
Main findings in the thesis (in English)
The thesis
publication list of the doctoral candidate in MTMT
Erzsébet Csuhaj Varjú
head of the school
Zoltán Csörnyei
Thesis supervisor
Date of diploma: 2018. III. 08.