I graduated from the Master's programmes Advanced Studies in Mathematics and Didactic Mathematics in 2026, both at the Faculty of Mathematics and Computer Science, University of Bucharest. I am mostly interested in mathematical logic, more specifically in proof mining and its applications in optimization and nonlinear analysis. The Advanced Studies in Mathematics programme was completed with a thesis on the applications of proof mining in preconditioned optimization, and the Didactic Mathematics programme with a thesis on mathematical induction. I obtained the Bachelor's degree in Mathematics in 2024 at the same faculty, with a thesis on the logical foundations of proof mining.