Teaching

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

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.

McGill University