Excited to be an invited speaker at the GT-Vérif 2025 annual meeting (Nov 5-7), hosted at Université Paris-Est - Créteil in Paris. Very much looking forward to share our latest work on control design of uncertain and stochastic systems with formal guarantees.