Teaching

Instructor for the lecture series Computer-Assisted Proofs in Nonlinear Analysis.

• May 2025 Universidad Complutense de Madrid Madrid, Spain
• Nov 2024 National Center for Theoretical Sciences Taipei, Taïwan
• Oct 2024 Korea Advanced Institute of Science & Technology Daejeon, South Korea
• Sep 2024 Centre de Recherches Mathématiques Montréal, Canada