Papers- Körnlein, Daniel, Uniform Bounds for the Hybrid Steepest Descent Method. (in preparation)
- Körnlein, Daniel, Quantitative results for Bruck iterations of demicontinuous
pseudocontractions. (submitted) - Körnlein, Daniel, Quantitative results for Halpern iterations of nonexpansive mappings. J. Math. Anal. Appl. 428 (2015), no. 2, 1161–1172
- Körnlein, Daniel, Kohlenbach, Ulrich, Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space. Numer. Funct. Anal. Optim. 35 (2014), no. 1, 20–31.
- Körnlein, Daniel, Kohlenbach, Ulrich, Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Nonlinear Anal. 74 (2011), no. 16, 5253–5267. 47H10 (47H09)
Talks- December 1, 2010: Logic Seminar of the Informatics Department at Queen Mary, University of London, "Effective rates of convergence for Lipschitzian pseudoncontractions in general Banach spaces"
- July 10, 2012: International Conference on Fixed Point Theory and its Applications, Cluj-Napoca, Romania, "Quantitative aspects of fixed point iterations for Lipschitz pseudocontractive maps"
- May 8, May 15, May 22, 2013: Proof Theory Seminar (for Master's students and PhD candidates), TU Darmstadt, "Rate of metastability for Halpern’s iteration of nonexpansive mappings in Banach Spaces"
- November 24, 2013: What-is ...?-Seminar, TU Darmstadt, "Was ist... ein formaler Beweis?"
- February 27, 2014: IRTG 1529 Research Seminar Proof Mining and Nonlinear Analysis, Darmstadt, "Rates of metastability for iterations of accretive and nonexpansive mappings"
- October 22, October 29, November 5, 2014: Talk at the Proof Theory Seminar (for Master's students and PhD candidates), TU Darmstadt, "Quantitative results for Bruck iterations of demicontinuous pseudocontractions"
- November 18, 2014: Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany, "Proof-theoretic Methods in Nonlinear Analysis
Part 2: Fixed Point Theory" - February 5, February 12, 2015: Proof Theory Seminar (for Master's students and PhD candidates), TU Darmstadt, "Quantitative results on the Hybrid Steepest Descent Method"
- May 16, 2015: PhDs in Logic VII, Vienna, "Proof Mining in Nonlinear Analysis"
- July 17, 2015: Seminar der AG Logik, Darmstadt, "Quantitative Results for the Variational Inequality Problem"
- July 20, 2015: 11th International Conference on Fixed Point Theory and Applications, Istanbul, "Quantitative Results for the Variational Inequality Problem"
Projects- Member of the organising committee "PhDs in Logic VIII". Darmstadt, May 9-11, 2016.
- Reviewer for Zentralblatt MATH.
Research Stay- University of Seville, September 15-30, 2014.
Teaching- Winter term 2011/12: Mathematik 3 (ET)
- Summer term 2012: Analysis 1, Lineare Algebra 1
- Winter term 2012/13: Analysis 1 (english)
- Winter term 2013/14: Introduction to Mathematical Logic, English for Mathematicians
- Summer term 2014: Formale Grundlagen der Informatik I+II
- Winter term 2014/15: Mathematik 1 (Inf), English for Mathematicians
- Summer term 2015: Mathematik 2 (Inf)
- Winter term 2015/16: Introduction to Mathematical Logic
| |