Nous suivre Industrie Techno

... Félicité Joseph Sifakis.

Sujets relatifs :

Le directeur de recherche au CNRS vient de se voir décerner le Prix Turing 2007, l'équivalent du Prix Nobel pour l'informatique. Joseph Sifakis est le premier Français

à obtenir ce prix depuis sa création, en 1966. Il est récompensé - ainsi qu'une équipe américaine - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes très largement utilisée dans les industries du logiciel et du matériel.

vous lisez un article d'Industries & Technologies N°0897

Découvrir les articles de ce numéro Consultez les archives 2008 d'Industries & Technologies

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

... repassé la voiture en tissu conçue par BMW.

... repassé la voiture en tissu conçue par BMW.

Le constructeur a eu l'idée de remplacer la bonne vieille carrosserie par une peau entièrement composée de Lycra reposant sur une structure tubulaire[…]

01/04/2009 |
... décidé d'envoyer son vieil immeuble au tri sélectif.

... décidé d'envoyer son vieil immeuble au tri sélectif.

... découvert que la 11e puissance du monde avait pour capitale Boston, Massachussetts.

... découvert que la 11e puissance du monde avait pour capitale Boston, Massachussetts.

... posé un lapin aux passionnés d'Opéra.

... posé un lapin aux passionnés d'Opéra.

Plus d'articles