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 RobustnessAhmadreza Marandi (TU Eindhoven)
  • Logic Meets Learning – Formal Synthesis with Neural TemplatesAlessandro Abate (University of Oxford)
  • Some Insights in Model-Based RLFrans A. Oliehoek (TU Delft)
  • Bringing Temporal Synthesis from Theory to PracticeGuillermo Pérez (University of Antwerp)
  • Data-Driven Finite Abstractions for Dynamical SystemsManuel Mazo Jr. (TU Delft)
  • Formal Methods for Risk-Aware Planning and ControlJana 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.