Jasper Design Automation, a provider of formal verification solutions, named Thierry Le Squeren as Director of Sales for Europe and the Middle-East. Le Squeren is an EDA veteran with more than 16 years of experience in sales and sales management positions. He having worked for companies such as Quickturn, Synopsys, Verplex/Cadence and One-Spin.