Le prix Turing est en quelque sorte le prix Nobel de l’informatique. Il est attribué tout les ans  depuis 1966 en hommage à Alan Turning. Cette année c’est pour la première fois un français qui reçois ce prix. 

Alan Mathison Turning et la Machine de Turing

Alan Turning est un mathématicien britanique né le 23 juin 1912 et décédé en 1954. Il est principalement connu pour sa formalisation des concepts d’algorithme  avec sa fameuse machine de Turing.Cette machine est en fait un modèle du fonctionnent des appareils mécaniques de calcul comme un ordinateur.  Elle a été crée afin de donner une définition du concept d’algorithme. Elle représente une personne (virtuelle)  censée executer une procédure définie en changeant le contenu des cases d’un tableau infini, en choisissant ce contenu parmi un ensemble fini de symboles.D’autre part, la personne doit mémoriser un état particulier parmi un ensemble fini d’états.

La procédure est formulée en termes d’étapes très simples, du type : « si vous êtes dans l’état 42 et que le symbole contenu sur la case que vous regardez est ’0′, alors remplacer ce symbole par un ’1′, passer dans l’état 17, et regarder une case adjacente (droite ou gauche) ». Ce modèle reste toujours d’actualité en informatique pour résoudre les problèmes de calculabilité.

Pendant la Seconde Guerre mondiale, il a dirigé les recherches sur les codes secrets générés par la machine Enigma utilisée par l’Allemagne nazie.

Joseph Sifakis

Joseph Sifakis est un directeur de recherche au CNRS dans le laboratoir de VERIMAG. Il est ingénieur électricien de l’Ecole Polytechnique d’Athènes et docteur en informatique de l’Université de Grenoble. Pour la première fois, c’est donc à un français qu’est attribué le prix Turning depuis sa création en 1966.Il est récompensé pour un Model Checking, c’est-à-dire un système de vérification des systèmes complexes utilisée dans les industries du logiciel et du matériel.Ce modèle permet de vérifier qu’un système logiciel ou matériel répond à certaines exigences de sécurité et de sureté. Il est utilisé par exemple dans la vérification des puces ou d’algorithmes de sécurité.