**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 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.

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

*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*Metastability of the multi-parameters proximal point algorithm*, with Bruno Dinis,

Portugaliae Mathematica 77(3): 345–381, (2020), DOI*A rate of metastability for the Halpern type Proximal Point Algorithm*,

Numerical Functional Analysis and Optimization, 42(3): 320-343, (2021), DOI*Quantitative results on the multi-parameters proximal point algorithm*, with Bruno Dinis,

Journal of Convex Analysis, 28(3), 23 pp, (2021)*Quantitative results on the Halpern type proximal point algorithm*, with Laurenţiu Leuştean,

Computational Optimization and Applications, 79(1), 101-125, (2021), DOI*On the convergence of algorithms with Tikhonov regularization terms*, with Bruno Dinis,

Optimization Letters, 14 pp, (2020), DOI*Effective metastability for a method of alternating resolvents*, with Bruno Dinis,

Submitted (2021)*Quantitative translations for viscosity approximation methods in hyperbolic spaces*, with Ulrich Kohlenbach,

Submitted (2021)

**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

**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.