La société américaine Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient de nommer Claudionor Cœlho vice-président de l’ingénierie. Considéré comme un spécialiste de la vérification par la méthode des preuves formelles, M. Cœlho a notamment travaillé chez Integrated Information Technology, Verplex Systems.