Molnár Vince védése


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

A védés adatai

A Budapesti Műszaki és Gazdaságtudományi Egyetem Doktori Tanácsa
és az
Informatikai Tudományok Doktori Iskola
megszervezte


Molnár Vince
"Extensions and Generalization of the Saturation Algorithm in Model Checking" (2019)
című értekezésének védését
informatikai tudományok tudományágban

A védés időpontja: 2020-II-18 12:45
helye: BME I. ép. B. szárny 019.

Doi/handle elérés (értekezés, tézisek)
a doktorjelölt publikációs listája az MTMT-ben


Levendovszky János iskolavezető	Majzik István témavezető

Az oklevél dátuma (a fokozat odaítélése az Intézmény Doktori Tanácsának döntése alapján): 2020. II. 27.

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).