Thom Badings

Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum

Professor of Verification and Control, University of Oxford, UK

Professor of Risk Management for high tex systems, Radboud University & University of Twente

Assistant Professor, Radboud University, Nijmegen

Assistant Professor, Technical University of Denmark (DTU)

Professor of Computer Science, University of Oxford

Postdoctoral Researcher, University of Antwerp

The University of Texas at Austin