
Thom Badings’ PhD Defense and Symposium
Our group had the pleasure of traveling to Nijmegen to celebrate a big milestone for Thom Badings—his PhD Defense at Radboud University Nijmegen, supervised by Nils Jansen and Marielle Stoelinga! On this occasion, Thom also organized an accompanying symposium.
Advances in Robust Verification of Stochastic Systems
It was an inspiring and eventful day full of learning and networking at Thom’s symposium on Advances in Robust Verification of Stochastic Systems, bringing together six professors from various European universities who shared their insights on a range of key topics. The talks included:
- From Clustering to Robustness – Ahmadreza Marandi (TU Eindhoven)
- Logic Meets Learning – Formal Synthesis with Neural Templates – Alessandro Abate (University of Oxford)
- Some Insights in Model-Based RL – Frans A. Oliehoek (TU Delft)
- Bringing Temporal Synthesis from Theory to Practice – Guillermo Pérez (University of Antwerp)
- Data-Driven Finite Abstractions for Dynamical Systems – Manuel Mazo Jr. (TU Delft)
- Formal Methods for Risk-Aware Planning and Control – Jana Tumova (KTH Royal Institute of Technology)

PhD Defence
In the afternoon, it was time for the main event—Thom’s defense. Thom presented and defended his thesis Robust Verification of Stochastic Systems – Guarantees in the Presence of Uncertainty in front of the committee. His strong presentation and insightful discussion demonstrated the depth of his expertise. His presentation was met with well-earned praise, recognizing the impact of his work.
We are happy to congratulate Dr. Thom Badings! We wish him all the best for his time as a postdoc at Oxford and his future career, and for everything that lies ahead.