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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”