Jouw computer bevat een grafische processor, die ervoor zorgt dat je je favoriete computer game kan spelen. Die processor is ook heel goed in het uitvoeren van andere taken waarin grote hoeveelheden data verwerkt worden. Het kan bijvoorbeeld machine learning uitvoeren om beelden te interpreteren. Wij gaan onderzoeken hoe deze processoren gebruikt kunnen worden om complexe systemen als auto's, vliegtuigen en robotten te analyseren. De resulterende technieken zullen het mogelijk maken om software bugs te detecteren, veiligheidsrisico's en economische risico’s te identificeren voor dergelijke systemen, en trajecten voor robotten en voertuigen af te leiden.