L’actualité récente regorge de manchettes rapportant des incidents liés à des problèmes de fonctionnement de logiciels, qu’il s’agisse de bogues à l’origine de pannes sur Facebook et Instagram ou de perturbations majeures des vols dans les aéroports. Les conséquences de ces bogues peuvent aller de simples désagréments à des incidents qui mettent des vies en danger. Cela a augmenté la pression pour la création de logiciels plus fiables et, en retour, d’outils et de techniques qui peuvent aider les développeurs de logiciels à atteindre cet objectif.

Sylvain Hallé, titulaire de la Chaire de recherche du Canada sur la spécification, le test et la vérification de logiciels, contribue à la création de systèmes logiciels fiables en se concentrant sur leur spécification, leur test et leur vérification. M. Hallé et son équipe de recherche étudient et élaborent des langages de spécification expressifs et produisent des théories de test et de vérification utiles, ainsi que des outils logiciels automatisés. Ultimement, leurs travaux pourraient améliorer considérablement la qualité des systèmes logiciels dans de nombreux domaines, depuis les applications Web jusqu’aux systèmes de bases de données.

Titulaire : Sylvain Hallé
Téléphone : 418 545-5011, poste 5280
Courrier électronique

Source:  https://www.chairs-chaires.gc.ca/chairholders-titulaires/profile-fra.aspx?profileId=3536