I am a research engineer at AUDI AG working on the Audi Verifiable AI (AVAI) as well as the BMWi KARLI projects. My focus currently lies at the intersection of AI and formal methods, particularly on developing scalable methods and tools for the safety and security testing of AI functions. Prior to that, I was a visiting researcher at the Bosch center for AI in Renningen, focusing on using formal methods to find optimal robot trajectories. I hold a Master’s degree in Artificial Intelligence and Robotics from Sapienza University of Rome, Italy.
Scan the QR code or