Teaching

Short courses and summer schools

• CISM Advanced School Computer-Assisted Proofs in Delayed and Infinite-Dimensional Dynamical Systems, International Centre for Mechanical Sciences (CISM), Udine, Italy, May 3–7, 2027 (coordinator, with Dimitri Breda).
• 2025 Gene Golub SIAM Summer School Frontiers in multi-dimensional pattern formation, Concordia University — three lectures on computer-assisted proofs, interval arithmetic and the Swift–Hohenberg PDE.
• CRM tutorial Computer-assisted proofs in nonlinear analysis, Montréal, 2024.
• Series of research seminars Computer-Assisted Proofs in Discrete Dynamics, Charles University, Prague, Czech Republic, 2021–2022.
• CRM tutorial A Computer-Assisted Constructive Approach to Nonlinear Dynamical Systems, Montréal, 2019.
• Three-day course Computer assisted proofs in Nonlinear Dynamics, UNAM, Mexico, 2018.
• AMS Short Course Rigorous Numerics in Dynamics, Seattle, 2016 (co-organizer).
• Main lecturer, PIMS-SFU Summer School on Rigorous Computing, Simon Fraser University, 2015.

CRM CAMP in Nonlinear Analysis

CRM CAMP in Nonlinear Analysis (Computer-Assisted Mathematical Proofs in Nonlinear Analysis) was a weekly online seminar series hosted by the Centre de recherches mathématiques. It gathered the worldwide community working at the interface of scientific computing and rigorous mathematical analysis, with an emphasis on dynamical systems and nonlinear analysis, and also served as a venue for workshops and tutorials and as a repository of teaching material. Every talk was recorded and remains freely available on the CRM CAMP YouTube channel.

Courses in differential equations, dynamical systems, nonlinear dynamics, applied mathematics and numerical analysis, at McGill University and Université Laval.

McGill University