Nicolas Halbwachs
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité | |
| Parentèle |
Maurice Halbwachs (grand-père) |
| Membre de | |
|---|---|
| Directeur de thèse | |
| Distinction |
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 modifier
Liens externes modifier
- Ressources relatives à la recherche :
