Nicolas Halbwachs
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() |
---|---|
Nationalité | française ![]() |
Formation | |
Activité | Chercheur ![]() |
Parentèle | Maurice Halbwachs (grand-père) ![]() |
Membre de | Academia Europaea () ![]() |
---|---|
Directeur de thèse | Patrick Cousot () ![]() |
Distinction | Prix Michel-Monpetit () ![]() |
modifier - modifier le code - modifier Wikidata
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
- ↑ Modélisation et analyse du comportement des systèmes informatiques temporisés, 1984; texte intégral
- ↑ Détermination automatique de relations linéaires vérifiées par les variables d'un programme, 1979; texte intégral
- ↑ Automatic discovery of linear restraints among variables of a program, ACM POPL 1978
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