Nicolas Halbwachs

Biographie
Naissance	12 juin 1953 (71 ans)
Nationalité	française
Formation	Université Grenoble-I (1979); Institut polytechnique de Grenoble (1979)
Activité	Chercheur
Parentèle	Maurice Halbwachs (grand-père)
Membre de	Academia Europaea (2010)
Directeur de thèse	Patrick Cousot (1979)
Distinction	Prix Michel-Monpetit (2004)

Nicolas Halbwachs, né le 12 juin 1953, 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

Liens externes

Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices d'autorité :
- VIAF
- IdRef
- LCCN
- Israël
- Tchéquie
- WorldCat

Portail de l’informatique

[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

[1]

[2]

[3]