Nicolas Halbwachs

Nicolas Halbwachs, né le , est un informaticien français.

Il est titulaire d'une thèse d'État de l'Université de Grenoble[1], et directeur de recherches au CNRS, dans le laboratoire Verimag dont il a été le directeur.

Il est le co-inventeur du langage de programmation Lustre, qui appartient à la catégorie des langages synchrones. En outre, Nicolas Halbwachs a travaillé sur la vérification automatique de programmes par des méthodes de model-checking et d'interprétation abstraite (sa thèse de troisième cycle[2] portait sur l'interprétation abstraite à l'aide de polyèdres convexes, qu'il a développé avec son encadrant Patrick Cousot[3]).

Il a reçu le Prix Monpetit de l'Académie des Sciences en 2004 avec son collègue Paul Caspi.

Il est le petit-fils du sociologue Maurice Halbwachs.

Références
  1. Modélisation et analyse du comportement des systèmes informatiques temporisés, 1984; texte intégral
  2. Détermination automatique de relations linéaires vérifiées par les variables d'un programme, 1979; texte intégral
  3. Automatic discovery of linear restraints among variables of a program, ACM POPL 1978
  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.