Thom Badings

Email: thom.badings@cs.rwth-aachen.de

I am a postdoctoral researcher at RWTH Aachen University, working in MOVES and the Institute for Data Science in Mechanical Engineering. My research brings together formal methods, control theory, and artificial intelligence to study reliable control of stochastic systems.

Please visit my personal website for more information.