Nicolas Halbwachs

ingénieur français

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

Nicolas Halbwachs
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (68 ans)
Nationalité
Activité
Autres informations
Membre de
Distinction

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érencesModifier