My research so far has been primarily located in the area of proof mining, an applied subfield of mathematical logic that aims to analyse ordinary mathematical proofs in order to obtain additional information which is not immediately apparent (for a somewhat-gentle introduction, see my ongoing series “What proof mining is about” on The Proof Theory Blog, starting here). The techniques of proof mining have been hitherto applied to various mathematical fields like convex optimization, ergodic theory, approximation theory; occasionally, my research has spilled over into those areas themselves. I started working in proof mining midway through my PhD studies at the University of Bucharest and defended my thesis, Contributions to proof mining, written under the supervision of Laurențiu Leuștean, in September 2017. This was followed by a three-year postdoc at TU Darmstadt, where my mentor was Ulrich Kohlenbach. All this time, I've been holding a research position at the Simion Stoilow Institute of Mathematics of the Romanian Academy; since October 2020, I have been a member of the Department of Computer Science of the University of Bucharest, first as Lecturer (2020–2024) and then as Associate Professor (since 2024). In early 2022, I co-founded the Institute for Logic and Data Science.