Andrei Sipoș
Associate Professor @ FMI
Scientific Researcher @ IMAR

Biroul 209,
Facultatea de Matematică și Informatică,
Universitatea din București,
Strada Academiei 14,
010014 București,

Andrei Sipoș

(Curriculum Vitæ, Google Scholar, OPC)

My research so far has been primarily located in the area of proof mining, an applied subfield of mathematical logic that aims to analyse ordinary mathematical proofs in order to obtain additional information which is not immediately apparent (for a somewhat-gentle introduction, see my ongoing series “What proof mining is about” on The Proof Theory Blog, starting here). The techniques of proof mining have been hitherto applied to various mathematical fields like convex optimization, ergodic theory, approximation theory; occasionally, my research has spilled over into those areas themselves. I started working in proof mining midway through my PhD studies at the University of Bucharest and defended my thesis, Contributions to proof mining, written under the supervision of Laurențiu Leuștean, in September 2017. This was followed by a three-year postdoc at TU Darmstadt, where my mentor was Ulrich Kohlenbach. All this time, I've been holding a research position at the Simion Stoilow Institute of Mathematics of the Romanian Academy; since October 2020, I have been a member of the Department of Computer Science of the University of Bucharest, first as Lecturer (2020–2024) and then as Associate Professor (since 2024). In early 2022, I co-founded the Institute for Logic and Data Science.

Teaching Resources

Selected Slides


  1. “Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions” (with Laurențiu Leuștean and Vlad Radu),
    Journal of Nonlinear and Convex Analysis, Volume 17, Number 11, 2277–2292, 2016.

  2. “Effective results on a fixed point algorithm for families of nonlinear mappings”,
    Annals of Pure and Applied Logic, Volume 168, Issue 1, 112–128, 2017.

  3. “A note on the Mann iteration for $k$-strict pseudocontractions in Banach spaces”,
    Numerical Functional Analysis and Optimization, Volume 38, Issue 1, 80–90, 2017.

  4. “Codensity and Stone spaces”,
    Mathematica Slovaca, Volume 68, Issue 1, 57–70, 2018.

  5. “An application of proof mining to the proximal point algorithm in CAT(0) spaces” (with Laurențiu Leuștean),
    in: A. Bellow, C. Calude, T. Zamfirescu (eds.), Mathematics Almost Everywhere. In Memory of Solomon Marcus (pp. 153–168), World Sci. Publ., 2018.

  6. “Effective strong convergence of the proximal point algorithm in CAT(0) spaces” (with Laurențiu Leuștean),
    Journal of Nonlinear and Variational Analysis, Volume 2, Issue 2, 219–228, 2018.

  7. “An abstract proximal point algorithm” (with Laurențiu Leuștean and Adriana Nicolae),
    Journal of Global Optimization, Volume 72, Issue 3, 553–577, 2018.

  8. “The asymptotic behaviour of convex combinations of firmly nonexpansive mappings”,
    Journal of Convex Analysis, Volume 26, Number 3, 911–924, 2019.

  9. “Proof mining in $L^p$ spaces”,
    Journal of Symbolic Logic, Volume 84, Issue 4, 1612–1629, 2019.

  10. “The finitary content of sunny nonexpansive retractions” (with Ulrich Kohlenbach),
    Communications in Contemporary Mathematics, Volume 23, Number 1, 19550093 [63 pages], 2021.

  11. “Rates of metastability for iterations on the unit interval”,
    Journal of Mathematical Analysis and Applications, Volume 502, Issue 1, 125235 [11 pages], 2021.

  12. “Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces”,
    Numerical Functional Analysis and Optimization, Volume 42, Issue 6, 696–711, 2021.

  13. “A quantitative multiparameter mean ergodic theorem”,
    Pacific Journal of Mathematics, Volume 314, Number 1, 209–218, 2021.

  14. “Bounds on strong unicity for Chebyshev approximation with bounded coefficients”,
    Mathematische Nachrichten, Volume 294, Issue 12, 2425–2440, 2021.

  15. “Quantitative inconsistent feasibility for averaged mappings”,
    Optimization Letters, Volume 16, Issue 6, 1915–1925, 2022.

  16. “On extracting variable Herbrand disjunctions”,
    Studia Logica, Volume 110, Issue 4, 1115–1134, 2022.

  17. “Revisiting jointly firmly nonexpansive families of mappings”,
    Optimization, Volume 71, Number 13, 3819–3834, 2022.

  18. “Abstract strongly convergent variants of the proximal point algorithm”,
    Computational Optimization and Applications, Volume 83, Issue 1, 349–380, 2022.

  19. “A proof-theoretic metatheorem for tracial von Neumann algebras” (with Liviu Păunescu),
    Mathematical Logic Quarterly, Volume 69, Issue 1, 63–76, 2023.

  20. “On quantitative metastability for accretive operators”,
    arXiv:2210.11131 [math.FA], 2022. To appear in: Zeitschrift für Analysis und ihre Anwendungen.

  21. “The computational content of super strongly nonexpansive mappings and uniformly monotone operators”,
    arXiv:2303.02768 [math.OC], 2023. To appear in: Israel Journal of Mathematics.

  22. “Normal forms and representable functions in Moisil logic”,
    arXiv:2304.00288 [math.LO], 2023. Submitted.

Expository notes

Logic Links

Potential Future Events

Past Events