Professeur au Département d'informatique et de mathématique à l'UQAC, Sylvain Hallé a rencontré des chercheurs de la NASA qui travaillaient, comme lui, sur la vérification automatique de systèmes. (Photo Rocket Lavoie)
Professeur au Département d'informatique et de mathématique à l'UQAC, Sylvain Hallé crée, en compagnie de collègues de la Californie et de Montréal, un filet de sécurité afin de s'assurer qu'il sera impossible de « passer entre les mailles du filet. »
Mais de quel filet s'agit-il? « Du filet qui aurait pu empêcher un scandale comme celui d'ENRON », explique monsieur Hallé. Rappelons qu'en 2001, cette entreprise a fait faillite en raison de ses opérations frauduleuses masquées en bénéfices via des manipulations comptables.
Le nouveau professeur, qui a commencé à travailler à l'UQAC en janvier 2010, explique que ce qui rassemble ENRON à la NASA et à un système de vente de billets de spectacles sur Internet, c'est la communication entre deux entités.
Lire l'article complet
Source :
Katerine Belley-Murray
Le Quotidien
