Le prix Turing, considéré comme le prix Nobel de l'informatique et décerné par l'ACM (Association for Computing Machinery), a été attribué à un français, la première fois depuis sa création en 1966. L'élu est Joseph Sifakis, directeur de recherche au laboratoire grenoblois du CNRS, récompensé pour ses travaux sur le model checking, une technologie utilisée dans l'industrie du logiciel et du matériel informatique. Cette technique sert surtôt dans le contrôle en temps réel des puces de communication, les pilotes de périphériques ou encore les systèmes critiques embarqués dans les avions ou les trains.

M.Sifakis partage son prix avec les Américains Edmund Clarke et Allen Emerson qui ont également participé à des travaux, ainsi que la prime de 250.000 dollars.