Pedro Pinto's Homepage


Technische Universitšt Darmstadt
Department of Mathematics
Fachbereich Mathematik
SchlossgartenstraŖe 7
64289 Darmstadt

Office: S2|15 - 203

I concluded my PhD in Mathematics in 2019 at the Faculdade de CiÍncias da Universidade de Lisboa, Portugal (PhD Thesis).
Since then, I am a postdoctoral researcher in the Logic group of the Technische Universitšt Darmstadt, Germany.
I'm currently working in proof mining (with particular focus on the application of the bounded functional interpretation) and related topics. I am also a member of the research unit CMAFcIO at FCUL. Here is my CV (last version: January/2021).

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.

Teaching experience


  1. On the removal of weak compactness arguments in proof mining, with Fernando Ferreira and Laurenţiu Leuştean,
    Advances in Mathematics 354: 106728, 55pp, (2019), DOI
  2. Metastability of the multi-parameters proximal point algorithm, with Bruno Dinis,
    Portugaliae Mathematica 77(3): 345Ė381, (2020), DOI
  3. A rate of metastability for the Halpern type Proximal Point Algorithm,
    Numerical Functional Analysis and Optimization, 42(3): 320-343, (2021), DOI
  4. Quantitative results on the multi-parameters proximal point algorithm, with Bruno Dinis,
    Journal of Convex Analysis, 28(3), 23 pp, (2021)
  5. Quantitative results on the Halpern type proximal point algorithm, with Laurenţiu Leuştean,
    Computational Optimization and Applications, 79(1), 101-125, (2021), DOI
  6. On the convergence of algorithms with Tikhonov regularization terms, with Bruno Dinis,
    Optimization Letters, 14 pp, (2020), DOI
  7. Effective metastability for a method of alternating resolvents, with Bruno Dinis,
    Submitted (2021)
  8. Quantitative translations for viscosity approximation methods in hyperbolic spaces, with Ulrich Kohlenbach,
    Submitted (2021)


Future events


ResearchGate ResearchGate      ArXiv ArXiv      GoogleScholar GoogleScholar      Logic group Logic group      CMAFcIO CMAFcIO

----This page was updated on March 2021----