I completed my undergraduate studies in Computer Science at the Faculty of Mathematics and Computer Science at the University of Bucharest,
with a thesis in the field of proof mining.
I then followed the Master's program in Security and Applied Logic at the same institutions.
In my Master's thesis I continued the research I started as an undergraduate in proof mining,
while also writing my first paper in the field of convex optimization.
During the same time, I became interested in type theory and proof assistants, the language I know best being Lean.
Since September 2021, I am a PhD student in Mathematics supervised by Laurențiu Leuștean