Toute l'actualité

Numérique & Développement Durable Découvrez les évènements du OFF! Program qui auront lieu dans la ville de Rennes et sur le campus de Beaulieu : - conférence de Jean Jouzel - conférence de Hugues FerreBoeuf/The Shif Project - performances artistiques au Diapason - débat dans un pub de la ville - table ronde avec des industriels, des décideurs politiques, des chercheurs N'attendez plus, découvrez [..]

Pour la première fois, ICT4S est organisée en France, à Rennes, du 5 au 10 juin 2023 ICT4S - The International Conference on Information and Communications Technology for Sustainability - est une conférence internationale annuelle consacrée à tous les types de recherche, de développement et d'application des Technologies de l'Information et de la Communication pour le développement durable. Cette [..]

Félicitations à Sandrine Blazy, Professeure à l’université de Rennes, spécialiste de sciences du logiciel et directrice adjointe de l'IRISA. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs. Sa contribution se concentre sur les outils informatiques qui permettent à un programme écrit de devenir exécutable : les compilateurs. Lire la suite sur le site du CNRS © Jean-Claude [..]

Dans le cadre de la campagne synchronisée de recrutement des enseignants-chercheurs et enseignantes-chercheuses 2023, l’IRISA est laboratoire d’accueil pour 12 postes MCF ou PR, en lien avec les composantes de formation partenaires. Consultez la page

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

L'IRISA est partenaire de la EUROPEAN CYBER WEEK, le rendez-vous incontournable de la cybersécurité en France. Dans la continuité de l’édition 2021, la DGA - Maîtrise de l'information, l’IRMAR et l’IRISA co-organisent avec le soutien du pôle d’excellence cyber, du Creach Labs, du CNRS et d’Inria, la seconde édition des journées sur la « Mise en œuvre de la cryptographie post-quantique ». L [..]