Technische Universität Darmstadt
Department of Mathematics
Fachbereich Mathematik
Schlossgartenstraße 7
64289 Darmstadt
Germany
Office: S2|15 - 203
E-mail: pinto@mathematik.tu-darmstadt.de
I am a postdoctoral researcher in the Logic group of the Technische Universität Darmstadt, Germany.
I am also a Research Collaborator of the Institute for Logic and Data Science (ILDS).
My current focus is in proof mining (in particular on the application of the bounded functional interpretation) and related topics.
I got my PhD in Mathematics in 2019 at the Faculdade de Ciências da Universidade de Lisboa, Portugal (PhD Thesis).
Here is my CV (last version: November/2022).
Research Interests: Logic (in particular proof theory), proof interpretations and their use in mathematics (namely proof mining), convex optimization,
computability theory, approximation theory, nonlinear analysis and fixed point theory.