Bejelentkezés
 Fórum
 
 
A védés adatai
 
Az Eötvös Loránd Tudományegyetem Doktori Tanácsa
és az
Informatika Doktori Iskola
megszervezte
 
Kovács András
"Type-Theoretic Signatures for Algebraic Theories and Inductive Types" (2022)
című értekezésének védését
informatikai tudományok tudományágban
 
A védés időpontja: 2022-XII-09 11:00
helye: online, MS Teams
 
Doi/handle elérés (értekezés, tézisek)
a doktorjelölt publikációs listája az MTMT-ben
 
 
Csuhaj Varjú Erzsébet
iskolavezető
Kaposi Ambrus
témavezető
A fokozat odaítéléséről az Intézmény Doktori Tanácsa dönt.

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )