Nicolas Halbwachs
- Nicolas Halbwachs
-
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, et directeur de recherches au CNRS, dans le laboratoire Verimag dont il est 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. Il a reçu le Prix Montpetit de l'Académie des Sciences en 2004 avec son collègue Paul Caspi.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Nicolas Halbwachs de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Real-time computing — In computer science, real time computing (RTC) is the study of hardware and software systems that are subject to a real time constraint i.e., operational deadlines from event to system response. By contrast, a non real time system is one for… … Wikipedia
Hybrid automaton — A hybrid automaton (plural hybrid automata) is a mathematical model for precisely describing systems where computational processes interact with physical processes. Its behavior consists of discrete state transitions and continuous… … Wikipedia
Reaktives System — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein reaktives System befindet sich in ständiger Interaktion mit der … Deutsch Wikipedia
Reaktives System (Informatik) — Ein reaktives System befindet sich in ständiger Interaktion mit der Umgebung, wobei die Umgebung dominiert und das System sich dieser unterordnet. Eingaben (z. B. durch Sensoren) werden vom System nach ihrer Verarbeitung sofort wieder an die … Deutsch Wikipedia
Lustre (langage) — Pour les articles homonymes, voir lustre. Lustre est un langage de programmation synchrone, déclaratif, et par flots. Il possède une définition formelle, et est utilisé pour la programmation des systèmes réactifs. Son développement a commencé au… … Wikipédia en Français
Prix Michel Montpetit — Prix Montpetit Le Prix Monpetit a été créé en 1977 par l Académie des sciences pour récompenser un chercheur ou un ingénieur pour ses travaux dans le domaine des mathématiques appliquées ou de l informatique. Son nom vient de Michel Monpetit,… … Wikipédia en Français
Prix Montpetit — Le prix Monpetit a été créé en 1977 par l Académie des sciences pour récompenser un chercheur ou un ingénieur pour ses travaux dans le domaine des mathématiques appliquées ou de l informatique. Son nom vient de Michel Monpetit, directeur adjoint… … Wikipédia en Français
Paul Caspi — Paul Caspi, né le 13 septembre 1944, est un informaticien français. Ancien élève de l École polytechnique, Paul Caspi est directeur de recherches émérite au CNRS, dans le laboratoire Verimag. Il est le co inventeur du langage de… … Wikipédia en Français
Liste Des Professeurs Au Collège De France — Cette liste des professeurs au Collège de France recense les titulaires de chaire et les chargés de cours au Collège de France depuis sa fondation en 1530. Chaires Durée Premières créations Catégories Chaires ordinaires sans limitation 1530… … Wikipédia en Français
Liste des professeurs au College de France — Liste des professeurs au Collège de France Cette liste des professeurs au Collège de France recense les titulaires de chaire et les chargés de cours au Collège de France depuis sa fondation en 1530. Chaires Durée Premières créations Catégories… … Wikipédia en Français