Vahid Hashemi holds a Ph.D. (Dr.-Ing.) in Computer Science from the Max Planck Institute for Informatics and Saarland University with a focus on formal verification and optimal control of stochastic systems. Since April 2018, he is working for AUDI AG as a technical project manager and is responsible for developing advanced methods and tools for safety verification and validation of learning-enabled autonomous driving systems.