I am a postdoctoral researcher in the Logic group of the Technische Universität Darmstadt, Germany, and my postdoc advisor is Ulrich Kohlenbach. I am also an Associated researcher at the Institute for Logic and Data Science (ILDS) and at the Logic, Optimization & Security Center (LOS), and a Research Collaborator of the Center for Mathematical Studies (CEMS.UL). My current research is in Mathematical Logic, namely in applied Proof Theory focusing on proof interpretations and their use in mathematics (Proof Mining). In this research program, one employs proof-theoretical techniques to analyse prima facie noneffective mathematical proofs with the goal of uncovering new information, usually in the form of rates, bounds or even qualitative improvements. My areas of application include Convex Optimization, Fixed Point Theory, Operator Theory, and Partial Differential Equations. I got my PhD in Mathematics in 2019 from the Faculty of Sciences of the University of Lisbon under the supervision of Fernando Ferreira, for the first studies on concrete applications of the bounded functional interpretation in the context proof mining research. After my PhD, I moved to TU Darmstadt to work under the guidance of Ulrich Kohlenbach. In 2024, I was awarded a Leibniz Fellowship by the prestigious Oberwolfach Research Institute for Mathematics (MFO). I was also appointed member of the European Mathematical Society Young Academy (EMYA) for the period 2004-2027. I am currently the principal investigator of the DFG project PI 2070/1-1, "Proof Mining in Nonlinear Functional Analysis." My research focuses on exploring innovative applications of proof mining, particularly in extending techniques and results from linear to nonlinear contexts. Recently, I was awarded research funding by FCT through a CEEC at CEMS-UL, which will begin in July 2026 and will enable me to continue my research in Lisbon.