Thom Badings

Thom Badings is a Researcher and postdoctoral Research Associate at the University of Oxford's Department of Computer Science, part of the Oxford Control and Verification Group. His work focuses on the intersection of control theory, artificial intelligence, and formal verification, with an emphasis on ensuring safety and reliability in stochastic systems under uncertainty.

Education:

• PhD (cum laude) in Industrial Engineering and Management, Radboud University, Nijmegen, Netherlands (2020)
• MSc (cum laude) in Industrial Engineering and Management, University of Groningen, Netherlands (specialization: Smart Systems in Control and Automation)
• BSc in Industrial Engineering and Management, University of Groningen

Research Interests: Thom’s research develops novel verification methods for stochastic systems, aiming to provide rigorous mathematical guarantees for complex systems’ safety and performance, even without perfect models. His work bridges control theory, AI, and formal methods to address real-world uncertainties.

Awards:

• Cum Laude distinction in PhD (Radboud University)
• Cum Laude distinction in MSc (University of Groningen)

Advising & Grants: No advisees or grants explicitly listed. Supervised by Alessandro Abate.

Labs/Teams: Member of the Oxford Control and Verification Group.