L’ACM, « Association for Computing Machinery » la plus grande organisation d'informatique au monde, a annoncé ce 11 mai les lauréats de quatre prestigieux prix. Ces lauréats ont été sélectionnés par leurs pairs pour leurs contributions à des recherches révolutionnaires et à des applications pratiques qui ont un impact sur les personnes utilisant la technologie au quotidien.
Parmi ces 4 prix prestigieux, le Prix 2021 de l'ACM Software System
attribué à une institution ou à une ou plusieurs personnes sélectionnée pour le développement d'un logiciel ayant eu une influence sur le long terme, qui s'est traduite par des contributions conceptuelles, commerciales, ou les deux.
Félicitations à Sandrine Blazy, Professeure à l'Université de Rennes 1 et directrice adjointe de l'IRISA et ses collègues Xavier Leroy, Collège de France; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University, and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College
pour le développement de CompCert, le premier compilateur optimisant ciblant plusieurs architectures et utilisé dans l'industrie, qui soit doté d’une preuve mathématique de correction vérifiée par ordinateur.