Mihai-Florin-Gabriel CRĂCIUN-Topics in Program Analysis and Program Verification

Candidat Mihai – Florin – Gabriel CRĂCIUN
Instituția la care este titular candidatul Universitatea „Babeș – Bolyai” din Cluj-Napoca
Domeniul de doctorat vizat pentru abilitare Informatică
Titlul tezei de abilitare Topics in Program Analysis and Program Verification
Curriculum Vitae fișier
Lista de lucrări fișier
Fișa de verificare privind îndeplinirea standardelor minimale fișier
Rezumatul tezei de abilitare fișier
Propunerea UBB privind componența comisiei de abilitare fișier