PhD defense on safety verification of discrete-time stochastic systems

PhD Defense: June 25, 2026 at 10:00 AM

Defending my dissertation “Safety Verification of Discrete-time Stochastic Systems” at Delft University of Technology.

Thesis Committee:

• Dr. Luca Laurenti (co-promotor, DCSC, TU Delft)
• Dr. Simeon C. Calvert (promotor, Transport & Planning, TU Delft)
• Dr. Manuel Mazo Espinosa (promotor, DCSC, TU Delft)
• Prof. Raphael Jungers (Université catholique de Louvain, Belgium)
• Prof. Nils Jansen (Ruhr-University Bochum, Germany)
• Dr. Nicola Paoletti (King’s College London, United Kingdom)

A workshop with the international committee members will follow on June 25 at TU Delft.