Toute l'actualité

[Récompense] Encore félicitations à Sandrine Blazy, professeure à l'Université de Rennes et membre de l'équipe EPICURE, qui s'est vue décerner la médaille d'argent du CNRS 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.

Best paper award obtenu à MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems Félicitations à Olivier Barais (Professeur à l'Université de Rennes), Benoit Combemale (Professeur à l'Université de Rennes), Jean-Marc Jézéquel (Professeur à l'Université de Rennes) , Mathieu Acher (Professeur à l'INSA Rennes) tous membres de l'équipe de recherche DIVERSE [..]

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 I nternational C onference on Information and Communications T echnology for S ustainability - 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 [..]

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