Activities

Below you can find information about my scientific activities.

Upcoming

In June 2026, I plan to give a talk in the Research Seminar on Formal Mathematics in Heidelberg at Heidelberg University.

In March 2026, I attended the Mathlib Reviewer Bootcamp at Stockholm University. I wrote a blog post about this together with Rida Hamadani for the Lean Community Blog.
In March 2026, I attended the Leaning In! workshop at the Spielfeld Digital Hub in Berlin.
In January 2026, I gave a talk titled “Formalisation of CW complexes” at the virtual conference Lean Together 2026 (video | slides).

In June 2024, I attended the Informal workshop on formalising the global Langlands conjectures at the Hausdorff Research Institute for Mathematics in Bonn.
In May 2024, I attended the Workshop Formalisation of Mathematics: Workshop for Women and Mathematicians of Minority Gender at the International Centre for Mathematical Sciences in Edinburgh.
In April 2024, I attended the conference GROW@Bonn 2024 at the Max Planck Institute for Mathematics in Bonn. I wrote a blog post about this on my blog.