Pedro Pinto's Homepage


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

Office: S2|15 - 203

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.

Teaching experience


  1. On computational properties of Cauchy problems generated by accretive operators, with Nicholas Pischke,
    submitted (2023)
  2. Rates of asymptotic regularity for the alternating Halpern-Mann iteration, with Laurenţiu Leuştean,
    submitted (2022)
  3. Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces, with Bruno Dinis,
    submitted (2021)
  4. Quantitative translations for viscosity approximation methods in hyperbolic spaces, with Ulrich Kohlenbach,
    Journal of Mathematical Analysis and Applications, 507: 125823, 33 pp (2022), DOI
  5. Effective metastability for a method of alternating resolvents, with Bruno Dinis,
    Final version to appear in: Fixed Point Theory
  6. On the convergence of algorithms with Tikhonov regularization terms, with Bruno Dinis,
    Optimization Letters, 15(4), 1263-1276, (2021), DOI
  7. Quantitative results on a Halpern-type proximal point algorithm, with Laurenţiu Leuştean,
    Computational Optimization and Applications, 79(1), 101-125, (2021), DOI
  8. Quantitative Results on the Multi-Parameters Proximal Point Algorithm, with Bruno Dinis,
    Journal of Convex Analysis, 28(3): 729-750, (2021)
  9. A Rate of Metastability for the Halpern Type Proximal Point Algorithm,
    Numerical Functional Analysis and Optimization, 42(3): 320-343, (2021), DOI
  10. Metastability of the multi-parameters proximal point algorithm, with Bruno Dinis,
    Portugaliae Mathematica 77(3/4): 345-381, (2020), DOI
  11. 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


Future events

Past Events


ResearchGate ResearchGate      ArXiv ArXiv      GoogleScholar GoogleScholar      Logic group Logic group

----This page was updated on November 2022----