L’Américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient de nommer Thierry Le Squeren au poste de directeur des ventes pour l’Europe et le Moyen-Orient. Avant un bref passage au sein de OneSpin Solutions, autre spécialiste de la vérification formelle, en tant que directeur et vice-président des ventes et
…