Vu sur la toile
Vu sur la toile...
Des logiciels sans faute : une affaire de mathématiques - Entretien avec G. Berry, Les cahiers de l’INRIA
Des logiciels sans faute : une affaire de mathématiques - Entretien avec G. Berry, Les cahiers de l’INRIA
La vérification de programmes est entrée depuis peu dans une ère nouvelle grâce aux méthodes dites de vérification formelle, c’est-à-dire fondées sur des preuves mathématiques. Les compilateurs en sont l’un des bénéficiaires.
Gérard Berry est professeur au Collège de France, membre de l’Académie des sciences, de l’Académie des technologies et de l’Academia Europaea. Il est le créateur principal du langage de programmation Esterel. Il a été directeur scientifique de la société Esterel Technologies à partir de 2001, avant de rejoindre l’Inria en mars 2009. Auparavant, il avait notamment été directeur de recherche à l’Ecole des mines de Paris puis directeur du Centre de mathématiques appliquées à l’École des mines à Sophia-Antipolis.
Lire l'interview de Bérard Berry dans les cahiers de l'INRIA