May 25, 2026 PhD defense on safety verification of discrete-time stochastic systems May 20, 2026 New journal and conference paper acceptances Dec 15, 2025 Jeroen Hagenus receives TU Delft Best MSc Thesis with AI Award