Joseph Sifakis (Prix Turing 2007) : "Microsoft et Google utilisent le model checking"

edmund clarke, allen emerson et joseph sifakis reçoivent le prix turing 2007.
Edmund Clarke, Allen Emerson et Joseph Sifakis reçoivent le prix Turing 2007. © STMicroelectronics

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Une cérémonie officielle a eu lieu le 23 juin dernier à Paris, en l'honneur du chercheur franco-grec Joseph Sifakis. Ses recherches en informatique et leurs applications dans l'industrie lui ont valu d'être récompensé par le prestigieux prix Turing pour l'année 2007, l'équivalent du Nobel pour l'informatique. L'occasion d'une interview à propos du model checking, la technique pour laquelle il a été récompensé avec deux collègues américains, et ses applications. Un travail réalisé par étapes et commencé en 1981.

Autour du même sujet