Le Turing Award 2007 est un français

[0100011]

Joseph Sifakis de VERIMAG est co-lauréat du Turing Award 2007 (équivalent Nobel pour l'informatique) :

http://newswire.ascribe.org/cgi-bin/behold…08&public=0

Association for Computing Machinery's Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs; Researchers Created Model Checking Technique for Hardware and Software Designers

NEW YORK, Feb. 4 (AScribe Newswire) -- ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers. The Turing Award, named for British mathematician Alan M. Turing, carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc. Clarke of Carnegie Mellon University, and Emerson of the University of Texas at Austin, working together, and Sifakis, working independently for the Centre National de la Recherche Scientifique at the University of Grenoble in France, developed this fully automated approach that is now the most widely used verification method in the hardware and software industries.

[jmserigny]

Joseph Sifakis de VERIMAG est co-lauréat du Turing Award 2007 (équivalent Nobel pour l'informatique) :

http://newswire.ascribe.org/cgi-bin/behold…08&public=0

et y sont ou? et y sont ou les parisiens ?

Houps, je me croyais dans la section "sport et aventure" (qui reste à créer d'ailleurs)

[Herbert West]

C'est vrai que les français sont bons en méthodes formelles.

[jmserigny]

Joseph Sifakis de VERIMAG est co-lauréat du Turing Award 2007 (équivalent Nobel pour l'informatique) :

http://newswire.ascribe.org/cgi-bin/behold…08&public=0

et sifakis, ca sonne pas trop dauphinois, mais bon on l'accepte quand meme.

[POE]

et sifakis, ca sonne pas trop dauphinois, mais bon on l'accepte quand meme.

…surtout qu'il fait désormais partie du gratin !