Sprechstunde: Dienstag, 15.00-16.00 Uhr und nach Vereinbarung
Formal Math project:
I have a cooperation with Floris van Doorn and the IRU
Formal Mathematics at Bonn, looking into topics in
formalizing analysis including the
Carleson Lean project
and several Bachelor and Master thesis projects. We welcome interested students.
Info auf Seite der
Arbeitsgruppe
Information on webpage of
Analysis and PDE group
Editorial Board
Editorial Borad
Ab April 2025 bin ich Editor beim Journal of Functional Analysis
Arbeitsgruppe
Beginning April 2025, I am editor of the Jorunal of Functional Analysis