Toute l'actualité

Le compilateur CompCert a été récompensé par la prestigieuse Association for computing machinery (ACM), pour la seconde fois CompCert est le premier compilateur optimisant plusieurs architectures et utilisé dans l'industrie, qui soit doté d’une preuve mathématique de correction vérifiée par ordinateur. Développé par plusieurs chercheurs* dont Sandrine Blazy , Professeure à l’Université de Rennes [..]

Quand la presse et les médias parlent de l’IRISA, on parle intelligence artificielle, data sciences, cybersécurité, réalité virtuelle, énergie, robotique …. Rétrospective à lire ou à relire

Shadi Ibrahim, chercheur Inria au sein de l’équipe Myriads, a été nommé fin décembre 2022 ACM Distinguished Member pour ses contributions scientifiques exceptionnelles au domaine de l’informatique. L' ACM ( Association for Computing Machinery ), la plus grande société informatique au monde, distingue chaque année certains de ses membres pour leurs réalisations révolutionnaires et leur [..]

En ce début d’année 2023, nos scientifiques accueillaient le CNPEN - Comité National Pilote d'Ethique du Numérique pour leur présenter la recherche dans le domaine du métavers Le CNPEN est le Comité national pilote d'éthique du numérique, sous l’égide du CCNE (comité consultatif national d’éthique). Son rôle est d’éclairer le débat public sur les enjeux d’éthique du numérique et de rédiger des [..]

Inria rend hommage à Olivier Commowick, décédé le 24 décembre 2022. Olivier Commowick, chargé de recherche Inria, avait soutenu sa thèse en 2007 dans l’équipe-projet Asclepios de Sophia, puis effectué un post-doc à la Harvard Medical School avant de rejoindre le centre Inria de l’Université de Rennes comme chargé de recherche, au sein de VISAGES puis d’Empenn. Le 24 décembre 2022, Olivier nous a [..]

Un des principes moteurs de l’Internet est son « ouverture », ou sommairement son accès équitable pour tous à tous les services. Cette notion de « neutralité du Net » est vivement débattue à travers le monde depuis plus de 20 ans, et souvent considérée comme un acquis. Mais l’évolution des réseaux de communication pose de nouveaux défis pour ce principe fondateur. Doit-il être adapté, supprimé ou [..]

Félicitations à Claudio Pacchierotti, lauréat de la médaille de bronze du CNRS Ce mardi 29 novembre 2022 s'est tenue la cérémonie des Talents 2022 du CNRS qui récompense chaque année celles et ceux qui contribuent au rayonnement et aux avancées de la recherche. Félicitations à C laudio Pacchierotti , chercheur CNRS dans l'équipe Rainbow , spécialiste de l’haptique tactile et des interfaces [..]