În ziua de 19 noiembrie 2024, ora 14:00, în Sala Google a Facultății de Matematică și Informatică, va avea loc susținerea publică a tezei de doctorat intitulată:
PROOF MINING AND APPLICATIONS TO OPTIMIZATION AND NONLINEAR ANALYSIS
(PROOF MINING ȘI APLICAȚII LA OPTIMIZARE ȘI ANALIZĂ NELINIARĂ),
de către
Andrei Horațiu CHEVAL
în vederea obținerii titlului științific de doctor în Matematică.
Componența comisiei de analiză și susținere a tezei de doctorat:
Președinte:
- Prof. dr. Liviu MARIN (Universitatea din București)
Conducător de doctorat:
- Prof. dr. Laurențiu LEUȘTEAN (Universitatea din București)
Referenți oficiali:
- Prof. dr. Genaro LOPEZ ACEDO (Universitatea din Sevilla, Spania)
- Prof. dr. Ion NECOARĂ (Universitatea Națională de Știință și Tehnologie Politehnica din București)
- Conf. dr. Adriana NICOLAE (Universitatea Babeș-Bolyai din Cluj-Napoca)
Teza de doctorat poate fi consultată la biblioteca facultății.