Andrei Sipoș
Andrei Sipoș
Research Assistant @ TUD
Scientific Researcher @ IMAR

Building S2|15 (Mathebau), Room 203,
Fachbereich Mathematik, TU Darmstadt,
Schlossgartenstraße 7,
64289 Darmstadt,

(Curriculum Vitæ, arXiv, OPC)

Scientific interests

  • proof theory
  • proof mining
  • model theory




  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, World Scientific, Singapore, 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),
    arXiv:1711.09455 [math.OC], 2017. To appear in: Journal of Global Optimization.

  8. “Proof mining in $L^p$ spaces”,
    arXiv:1609.02080 [math.LO], 2016. Submitted.

  9. “The asymptotic behaviour of convex combinations of firmly nonexpansive mappings”,
    arXiv:1802.08476 [math.OC], 2018. Submitted.


Expository notes

Scientific Seminars

Research Grants


At TU Darmstadt

  • Introduction to Mathematical Logic, 3rd year exercise session, Winter Term 2017/2018 (moodle link).
  • Applied Proof Theory, 1st Master's year exercise session, Summer Term 2017/2018.

At the University of Bucharest

  • Mathematical and Computational Logic, 1st year tutorial, Winter Term 2013/2014, 2014/2015, 2015/2016, 2016/2017.
  • Logic Programming, 2nd year lab and tutorial, Summer Term 2013/2014, 2014/2015, 2015/2016, 2016/2017.
  • Declarative Programming, 3rd year lab, Winter Term 2014/2015.
  • Model Theory, 1st Master's year tutorial, Summer Term 2016/2017.