- Extranet
- |
- Legals
- |
- Plan du site
- |
- Contact
Bénéficiaire d'une bourse ERC Advanced Grant destinée aux chercheurs confirmés, Dale Miller s'engage sur le difficile chemin de la preuve. Son objectif : dans ce domaine très abstrait mais qui a un impact certain sur le monde réel, standardiser les systèmes de preuve et leur délivrer des certificats afin d'améliorer la confiance que l'on peut avoir en eux.
L'obtention du financement ERC va les aider lui et Parsifal, son équipe-projet, à avancer de façon significative sur le long chemin de la preuve. Comment prouver qu'un logiciel ou un circuit électronique fait bien ce qui est attendu de lui et qu'il le fait dans les conditions et conformément aux spécifications qui ont présidé à sa création ? Pour prouver la validité d'un programme de plusieurs millions de lignes de code, il faut parfois concevoir un nouveau programme, composé lui de plusieurs centaines de milliers de lignes de code...
Aujourd'hui, des codes et des programmes pilotent, contrôlent, automatisent de nombreuses tâches qui ont un impact sur nos vies quotidiennes et qui ne tolèrent aucun dysfonctionnement. Le lancement d'une fusée qui va larguer un satellite de communications supposé fonctionner de façon autonome pendant une quinzaine d'années doit être fiabilisé à 100%. De même, le monitoring de la température d'une couveuse ou du rythme cardiaque d'un patient qui vient d'être opéré du cœur ne supporte aucune défaillance. Sans parler des avions de ligne, des systèmes de transactions bancaires, des télécommunications, etc. A cela s'ajoute la question de la sécurité, c'est-à-dire comment protéger tous ces objets numériques des virus et des attaques malveillantes.
Biographie :
Dale Miller travaille sur ces sujets depuis longtemps. Après un Ph.D. en mathématiques à l'université de Carnegie Mellon, il est professeur et chercheur en informatique. D'abord aux Etats-Unis, puis en Europe où sa matière, la logique computationnelle, bénéficie d'un grand intérêt des milieux de la recherche. Edimbourg, Glasgow, Gênes, Pise, Sienne l'attirent tout particulièrement. Mais c'est en France qu'il trouve son centre de gravité. Cet Américain marié à une Italienne, s'installe en région parisienne en 2002 lorsqu'il devient directeur de recherche au centre Inria de Saclay et professeur à l'Ecole Polytechnique.