Accueil du site > La recherche en sciences de l’information > Vie de l’institut

Recherchez sur ce site

précédente suivante

Disparition de Paul Caspi

Le CNRS a appris avec une grande tristesse le décès de Paul Caspi, directeur de recherche CNRS émérite au laboratoire Verimag.
Paul Caspi était un chercheur d’une inventivité et d’une originalité exceptionnelles. Il a fait des contributions décisives, d’abord en sûreté de fonctionnement, ensuite et surtout sur les méthodes formelles de conception des systèmes embarqués. En particulier, il a été le créateur du langage de programmation synchrone Lustre, socle formel de l’atelier Scade, maintenant utilisé dans le monde entier pour la conception des logiciels embarqués critiques. Il avait reçu pour cela le Prix Montpetit de l’Académie des sciences en 2004.