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