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

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

(Curriculum Vitæ, arXiv, OPC)





  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 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),
    Journal of Global Optimization, Volume 72, Issue 3, 553–577, 2018.

  8. “The asymptotic behaviour of convex combinations of firmly nonexpansive mappings”,
    arXiv:1802.08476 [math.OC], 2018. To appear in: Journal of Convex Analysis.



Expository notes

Scientific Seminars

Research Grants


At TU Darmstadt

  • Introduction to Mathematical Logic, 3rd year exercise session, Winter Term 2017/2018 (moodle link), 2018/2019 (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.