Yann Antonioli

Yann Antonioli is a Sr Staff Applications Engineer / Product Engineer in the VC Formal Team at Synopsys. He started working in the field of Formal Verification back in 2001 at Verplex Systems, as Applications Engineering Manager, then at Jasper Design Automation where he was the Product Manager for JasperGold. Yann loves analyzing problems and leveraging existing tools and features to find innovative solutions.