MOANGĂ Natalia – Gabriela (OZUNU)

DATA SUSȚINERII
14/12/2022

ORA SUSȚINERII
16:00

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

DOMENIUL

• Informatică

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ă