A Grenoble, on a un prix nobel
Par Xavier Spengler, lundi 3 mars 2008 { Thème Techno } | 4 commentaires | aucun trackback
A Grenoble, nous avons maintenant un prix nobel en informatique, c'est à dire le prix Turing (voir la machine de Turing). Il a été attribué à Joseph Sifakis du laboratoire Verimag à Grenoble pour ses travaux sur la vérification des programmes en informatique.

A noter que ce laboratoire a été voisin de l'OSF (Open Sofware Foudation) ou j'ai travaillé pendant 4 ans, entité française de l'open-group pendant plusieurs années à Gières, sur le campus de Saint Martin d'Hères près de Grenoble.

Cette méthode algorithmique permet de vérifier qu’un système logiciel ou matériel satisfait à des exigences données. Elle trouve de nombreuses applications industrielles avec la vérification des puces, des protocoles de communication, des logiciels pilotes de périphériques, des systèmes critiques embarqués (par exemple dans les avions, les trains, les fusées, les satellites ou les téléphones portables...) et des algorithmes de sécurité. Tous systèmes qui exigent donc une extrême fiabilité.(Source Futura-Sciences.com)
A noter que ce laboratoire a été voisin de l'OSF (Open Sofware Foudation) ou j'ai travaillé pendant 4 ans, entité française de l'open-group pendant plusieurs années à Gières, sur le campus de Saint Martin d'Hères près de Grenoble.





