DATA SUSȚINERII
14/12/2022

ORA SUSȚINERII
16:00

LOCUL SUSȚINERII
Facultatea de Matematică și Informatică

DOMENIUL


 Autorul tezei de doctorat: MOANGĂ Natalia – Gabriela (OZUNU)  CV
Conducător de doctorat: PProf. dr. Andrei PĂUN   CV
Preşedintele comisiei: Prof. dr. Ioana LEUȘTEAN CV
Referenţi oficiali: Prof. dr. Dorel LUCANU  CV

Prof. dr. Mircea MARIN  CV

Prof. dr. Grigore ROȘU  CV

 Titlul tezei de doctorat: MODAL LOGIC FOR PROGRAM SPECIFICATION
 Locul susținerii: Sala Google a Facultăţii de Matematică și Informatică