La société américaine Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient de nommer Craig Cochran au poste de vice-président du marketing et Nafees Qureshy à celui de vice-président de l’ingénierie. Fort de son expérience de directeur du marketing de Galaxy et de la société chez Synopsys, M.Cochran a comme

…