|
|
| Vu à la une | INédit | Sommaire n° 57 | Colloques et manifestations | Presse |
|
 |
Jean-Jacques Levy © INRIA / Jim Wallace |
:
Pourquoi créer un centre de recherche commun avec Microsoft
Research ?
Jean-Jacques Levy : Microsoft Research est aujourd'hui un des laboratoires de recherche fondamentale les plus côtés au monde. Ses chercheurs sont, par exemple, à la pointe de ce qui se fait en informatique graphique ou en langages de programmation ; ils sont également pionniers en bioinformatique où ils comptent certains des meilleurs chercheurs du domaine. L'INRIA a tissé des liens importants avec Microsoft Research dès 1995, en particuliers avec le laboratoire de Cambridge1 en Grande-Bretagne où plusieurs de nos meilleurs éléments ont été recrutés depuis. Gilles Kahn, qui était membre du conseil scientifique du laboratoire de Cambridge, jugeait important de créer un autre centre de cette envergure en Europe et il militait pour que l'INRIA soit un partenaire à part entière d'un tel projet. De son côté, Microsoft souhaitait s'ouvrir plus largement sur le monde académique européen. C'est ainsi que le centre commun entre Microsoft et l'INRIA est devenu un des centres de recherche, avec celui de Trente2, créés dans le cadre de l'initiative scientifique européenne de Microsoft annoncée en février 2005 par Bill Gates.
Il s'agit bien de partenariat. Gilles Kahn a toujours veillé à ce que le contrat qui lierait l'INRIA et Microsoft Research dans une telle structure concerne strictement la recherche fondamentale et stipule que les logiciels mis au point dans ce cadre seront disponibles sous licence libre de type CeCILL B (voir Inédit 47 pour les licences CeCILL). Actuellement le centre commun INRIA Microsoft Research comprend douze chercheurs dont sept permanents (quatre de l'INRIA et trois de Microsoft). Ce nombre devrait doubler rapidement. :
Quels sont les axes de recherche explorés
par le centre ?
Jean-Jacques Levy : Un premier axe de recherche concerne l'informatique
théorique traditionnelle dont les sujets sont actuellement bien définis
et dont les contrats ont débuté dès le printemps 2006.
Il s'organise autour de la logique et de la correction de programme,
des thèmes développés à l'INRIA et pour
lesquels existaient déjà des collaborations avec des chercheurs
de Microsoft Research Cambridge. Cédric Fournet, par exemple, a développé une
théorie de la sécurité reposant sur la vérification
formelle de certaines propriétés de sécurité et
il entend développer, dans le cadre du centre commun, un langage
de programmation capable d'interagir avec des protocoles de sécurité générés
automatiquement.
Georges Gonthier, qui est à l'origine de la preuve vérifiable
par ordinateur du théorème des quatre couleurs, entend démontrer
dans le système Coq - un fleuron de l'INRIA - d'autres
théories comme celle des groupes finis de Feit Thomson ou la conjecture
de Kepler tout aussi difficiles et longues à démontrer. Son objectif
est d'identifier les couches à mettre au-dessus de Coq pour faciliter
ces démonstrations. Damien Doligez, de l'équipe GALLIUM,
développe des outils pour la démonstration automatique en collaboration
avec Leslie Lamport (MSR Palo Alto) et Stephan Merz (équipe QSL, INRIA
Lorraine). D'autres chercheurs de l'INRIA sont impliqués dans
ces sujets dont Yves Bertot et Gilles Barthe à Sophia Antipolis.
Le second axe, qui devra être à terme d'importance équivalente,
est tourné vers l'exploration de domaines plus originaux et moins étudiés à l'heure
actuelle que l'on a appelés eSciences mais dont les contours
restent encore à définir. Il s'agit de concevoir et développer
des environnements indispensables à tous les scientifiques à la
fois dans l'interaction avec les données qui peuvent leur être
utiles (visualisation, manipulation) et dans la gestion de bases de données
spécialisées (encyclopédies dynamiques, mise à jour).
Cet axe demande une réflexion théorique sur les outils à développer
et la mise en place de plateformes logicielles accessibles par le réseau.
La définition de cet axe et des équipes sera finalisée au
cours de l'année 2007.
1 Microsoft Research possède cinq centres de recherche : à Redmond et dans la Silicon Valley aux États-Unis, à Cambridge au Royaume-Uni, à Pékin en Chine et à Bangalore en Inde.
2 Le Center for computational and systems biology à l'université de Trente (Italie) est spécialisée dans la modélisation logique des systèmes biologiques.
Jean-Jacques Levy,
Directeur
du Centre de recherche commun INRIA/ Microsoft Research, à Orsay
Tél.: +33 1 39 63 56 89
