L
auréat de l’année 2016
2013
Inria et l’Académie des sciences
s’associent désormais pour distinguer
les futurs lauréats des trois catégories
de prix Inria scientifiques : le Grand prix, le prix Jeune
Chercheur et le prix de l’Innovation.
Ce partenariat donne un nouvel élan au dispositif des Prix
Inria en renforçant leur vocation première : promouvoir les
contributions et succès de celles et ceux qui font avancer les
sciences informatiques et mathématiques, qui participent
ainsi au développement du monde numérique.
En qualité de partenaire industriel du prix de l’innovation,
Dassault systèmes, est évidemment associé à la sélection du
lauréat de ce prix.
Les 3 prix d’un montant total de 65 000€ récompensent 3
lauréats dont le Prix de l’innovation Inria - Académie des
sciences - Dassault systèmes (20 000€), décerné
conjointement par l’Académie des sciences, un partenaire
industriel et INRIA, récompense un scientifique ou un
ensemble de scientifiques ou une équipe de recherche ayant
été particulièrement actif dans le domaine du transfert et de
l’innovation dans le champ des sciences informatiques et
mathématiques. Ces personnes doivent exercer leur activité
dans le cadre d’un établissement français, sans condition de
nationalité ou d’affiliation.
PRIx INRIA - ACADéMIE DES SCIENCES
Le prix est décerné à Marc Pouzet. Ses travaux portent sur la conception, la sémantique et
l’implémentation de langages de programmation pour mettre en œuvre des systèmes
embarqués temps réel en interaction avec un environnement physique.
Contribuant de façon majeure au domaine de la théorie des réseaux n-synchrones, Marc
Pouzet et son équipe ont proposé une solution remarquable, tant sur le plan du langage que sur
celui des algorithmes de vérification de cohérence et de génération de code. Les travaux
innovants de Marc Pouzet sur le langage Scade-6 et son compilateur ont débouché sur l’atelier
Scade de la société Esterel-Technologies, un outil de développement de logiciels critiques,
fondé sur le langage de flot-de-données synchrone Lustre. Scade est maintenant un standard
de fait, au niveau international, notamment dans le domaine de l’avionique, des transports et
de l’énergie.
Les travaux de Marc Pouzet ont également conduit à des applications de la méthode de
compilation d’automates hiérarchiques dans Modelica (Dassault-Systèmes) et à des résultats
remarquables sur les systèmes hybrides mélangeant des aspects discrets et continus, qui
devraient aussi donner lieu à un transfert industriel.
Marc POuZET
Professeur d’information à l’université Pierre et Marie Curie, département
d’informatique, Ecole normale supérieure, Paris
PRIx DE L’INNOVATION INRIA - ACADéMIE
DES SCIENCES - DASSAuLT SYSTèMES