Thom Badings
Thom Badings
Research Associate
Interests
My main research interests lie broadly on the intersection between control theory, artificial intelligence, and formal verification. In my Ph.D. research, I have developed novel verification methods for proving properties about the behavior of stochastic systems in the presence of uncertainty. With my research, I aim to develop techniques that can be used to provide rigorous mathematical guarantees about the safety, reliability, and performance of complex systems, even if no perfect model of the system is available.
Biography
I am a postdoctoral research associate with the Oxford Control and Verification Group at the University of Oxford. Earlier, I obtained my doctoral degree (cum laude) from Radboud University in Nijmegen, the Netherlands. Before starting my PhD in 2020, I received my BSc and MSc (cum laude) in Industrial Engineering and Management at the University of Groningen, the Netherlands, with a specialization in Smart Systems in Control and Automation.