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.