Contact

Office: S2|15-230
Phone: 06151-16-22841
Email: koernlein [at] mathematik.tu-darmstadt.de

 

Papers


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

 


Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Dezember 2017 »
Mo Di Mi Do Fr Sa So
48 1 2 3
49 4 5 6 7 8 9 10
50 11 12 13 14 15 16 17
51 18 19 20 21 22 23 24
52 25 26 27 28 29 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang