Pedro Pinto's Homepage

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

• Teacher at Universidade Autónoma de Lisboa, 2018/2019
• Teaching assistant at Faculdade de Ciências da Universidade de Lisboa, 2012/2013

Articles

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)

Recent

• FMI/IMAR Logic Seminar
  Talk: "Unwinding of proofs"
  Faculty of Mathematics and Computer Science, University of Bucharest, 4 March, 2021
• Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics
  MFO, Oberwolfach, Germany (hybrid format), 8-14 November, 2020
• Logic Seminar at Universidade de Lisboa (SLM)
  Talk: "Quantitative translations for viscosity approximation methods"
  Faculdade de Ciências, Universidade de Lisboa, 26 October 2020
  
• Logic Seminar at Universidade de Lisboa (SLM)
  Talk: "Commentaries on the application of the bounded functional interpretation"
  Faculdade de Ciências, Universidade de Lisboa, 3 February 2020
  
• Days in Logic 2020
  Talk: "Proof mining of a discussion by cases"
  Faculdade de Ciências da Universidade de Lisboa, Portugal, 30 January-1 February 2020
• Logic Colloquium 2019 Prague (invited special session speaker)
  Special Session on Proof Theory and Proof Complexity
  Talk: "Proof mining with the bounded functional interpretation"
  Faculty of Architecture, Czech Technical University, Prague, August 2019
• FMI/IMAR Logic Seminar
  Talk: "The bounded functional interpretation and the elimination of weak compactness"
  Faculty of Mathematics and Computer Science, University of Bucharest, 26 April, 2018
• Computational Approaches to the Foundations of Mathematics
  Talk: "Concrete Examples on the Elimination of Weak Compactness"
  Mathematisches Institut, LMU, Munich, 13 April, 2018

Future events

• Logic Colloquium 2021
  Poznań, Poland, July 19-24, 2021 (online).
• New Frontiers in Proofs and Computations
  Institute for Advanced Study in Mathematics, Hangzhou, China, September 12-17, 2021.

Links

ResearchGate      ArXiv      GoogleScholar      Logic group      CMAFcIO