Forschung

Ich arbeite in Algebraischer Geometrie, einem der ältesten und gleichzeitig einem der aktivsten Forschungsgebiete der reinen Mathematik. Eine Kurzbeschreibung dieses Arbeitsgebiets finden Sie hier. Ich halte häufig Fachvorträge und hin und wieder auch Vorträge für breites Publikum. Einige meiner Vorträge sind im Internet verfügbar.

Seit kurzem interessiere ich mich für die computergestützte Formalisierung der Mathematik. Ich arbeite derzeit an der Formalisierung der Hauptsätze der Nevanlinna-Theorie mit Hilfe des interaktiven Theorembeweisers Lean.

Veröffentlichungen

Die Liste meiner Fachveröffentlichungen finden Sie auf meinen englischen Seiten. Sie finden meine Arbeiten auch in der Publikationsdatenbank zbMath Open.